我的二分得到的结果是不大于 $s$ 的 $y$ 中最大的，已 AC。那么不小于 $s$ 的 $y$ 中最小的呢？为什么不需要在二分结束后再特判？