用单调性 + 上界限 3 证明 存在。