二分查找

在单调性上收缩区间，写对边界比写对思路更难。