二分查找

循环不变量和中止类型是解决这类问题的关键