满足 "前缀和 $\le S$ 的子段的长度" 的 $x$ 不是连续的（即对于一个满足性质的 $x$ ，长度小于 $x$ 的子段的前缀和不一定 $\le S$），所以对于二分的每一个答案 $x$ ，应该判断是否存在一个 $\ge x$ 的子段长度，而不是直接判断 $x$