I came up with a proof that heapify takes O(n) time that I like better than the classic one that is typically taught, and I might use it for the Beyond Cracking the Coding Interview - let me know what you think?nilmamano.com/blog/heapifyanalysis.html