Rough analysis... we call down-heapify for about half the elements in the list: .
Actually tighter than that: !