A binary search example