Lower Bound Using Binary Search