关于二分得到的结果

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