The recursive binary search algorithm