Uses Max-Heapify to completely fix a heap using a bottom up manner

Kjøretid:

Runtime

IGNORE UNDER

where , and is average work per node

Since the average work per node converges to a number:

Which is why we get