Recursive binary search