Sqrt binary search