Binary Search Worst Case Time Complexity