Recursive Binary Search Time Complexity