Implement recursive binary_search
Implement binary search