Quick Sort Time Complexity Proof