就在去年，针对这一问题的研究，出现了突破性进展。”任教授笑了笑，翻到了ppt的下一页，继续说道，“华裔数学家，张义堂先生证明了孪生素数的一个弱化形式，发现存在无穷多个差小于7000万的素数对，从而在孪生素数猜想这个重要问题的道路上，实现了从无到有的突破。”
说到这里，任教授推了推眼镜，在黑板上现场板书了张先生的证明过程。
【定义theta(n)=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)