Recursive Binary Search Algorithm Time Complexity