Example of binary search