Insertion Sort is /O(n log n)/ and a better link to the deamortized PMA