Binary Insertion Sort Complexity