A Complete Worst-Case Analysis of Heapsort with Experimental Verification of Its Results, A manuscript (MS).