ex_2.3-5 binary search