Binary Search Lower Bound C