Worst-Case Analysis of Heapsort, Exactly | Synapse