Recursive implementation of binary search.