Binary Search Recursive Time Complexity