所以可合理猜测的极限为，也就是假设。

        （2）验证时的情况。假设此时中用于验证的不等式成立，那么有：

所以可合理假设（因为是自然数，所以进行了取整），那么当时始终有。画出图来就是从第 5 个点开始就都在绿色区间内了（虽然第 4 个点也在区间内，不过不重要，多一个、少一个对结果没有影响 ）：

上面的结论如果换成更简练的符号语言就是，时，令，有。

        （3）验证时的情况。假设此时中用于验证的不等式成立，那么有：

所以可合理假设（因为是自然数，所以进行了取整），那么当时始终有。画出图来就是从第 7 个点开始就都在绿色区间内了：

上面的结论如果换成更简练的符号语言就是，时，令，有。

        （4）验证为任意正数时的情况，假设此时中用于验证的不等式成立，那么有：

所以合理假设（符号的意思是向上取整，也就是为大于的整数），那么当时始终有。

用更简练的符号来表示，令，有，所有根据，有。