Recursive Binary Search Space Complexity