Algorithm 1 Binary Search