binary search minimum