Lower bound binary search