=lnn，如果n为素数；定义theta(n)=0，如果n为合数。取函数lambda（n）=……，定义s1（x）=……，s2（x）=……】

【求证s2?(log3x)s1>0……】

【……】

看着那黑板上不断增加的公式，先前还能听懂的学生们，瞬间懵逼了。

比如坐在陆舟旁边那位小学妹，一脸“我是谁？”“我在哪？”“我在听写啥？”的表情。就好像明明只是错过了一秒钟，却感觉错过的是整个世界……

陆舟倒是能跟上任教授的思路。

简单的来讲，那位张先生巧妙地选取了一个lambda函数，成功证明了对k>=3.5*10^6，结论s2?(log3x)s1>0成立。

这样一来，列出将前3.5*10^6个素数作为可接受的集合列出来，便可以进一步证明，存在无穷多个差小于7000万的素数对。

“根据张先生留下的证明方法，截至到现在，张先生的k>=3.5*10^6，已经被缩小到k>=50。也就是说，7000万这个数字被缩小到了246。剩下的工作，就需要后来者去完成了，”

说到这里，任教授笑了笑，将粉笔头丢在了讲桌上，“也许，完成这一历史性工作的伟大者，会出现在在座的各位中间。”

“我很期待那天！”

啪啪啪！

掌声雷动。

台下听众热烈鼓掌。

不管听没听懂，这时候跟着鼓掌就对了！

当然了，还是有不少人听懂了的，脸上浮现了深思的表情。