Lower Bound Binary Search