几个推论，然后再应用到 Bertrand 假设中。

这样的话，虽然拐了个弯，看似比切比雪夫的方法还要麻烦不少。但在真正的结果出来之前，谁也不敢百分百就这样说。

程诺觉得还是应该尝试一下。

工具早已备好，他沉吟了一阵，开始在草稿纸上做各种尝试。

他有不是上帝，并不能很明确的知晓通过引理得出来的推论究竟哪个有用，哪个没用。最稳妥的方法，就是一一尝试。