【求证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。剩下的工作，就需要后来者去完成了，”
说到这里，任教授笑了笑，将粉笔头丢在了讲桌上，“也许，完成这一历史性工作的伟大者，会出现在在座的各位中间。”
“我很期待那天！”
啪啪啪！
掌声雷动。
台下听众热烈鼓掌。
不管听没听懂，这时候跟着鼓掌就对了！
当然了，还是有不少人听懂了的，脸上浮现了深思的表情。
比如说陆舟。
孪生素数猜想只是个引子，这种半科普性质的讲座不是学术报告会，重点还是在于激发学生们对于数学的热情。
任教授从孪生素数猜想讲到了哥德巴赫猜想，又从哥德巴赫猜想谈到了当今国内玩数论发展近况，以及一些比较前沿的研究成果。
不得不说，这位老教授肚子里确实有些墨水。
能把一些晦涩的东西，讲的即便是初学者也能听的津津有味。
然而讲座后半段的内容，比起前半段的内容，营养却是少了太多，以至于陆舟根本都没怎么仔细听了。此时此刻，他的心思还停留在那个孪生素数猜想的证明上面。
回想着上次在图书馆中的发现，盯着黑板上算式的陆舟眉头紧锁，冥冥之中感觉发现了些什么，但总是在快要抓住的一瞬间，让它从指缝中溜走……
讲座很快结束了。
学生会的人拿着名单去了第一排，开始统计签到。
陆舟签完到，迫不及待地就想要赶去图书馆，却是被刚才坐他旁边的那个大一小学妹给拦住了。
“学长，学长，等一下，那个，可以加下你的扣扣吗？”
不想浪费时间，陆舟随手将一串扣扣号写在了她递来的草稿纸上，然后根本不给她继续说话的机会，在那个学妹目瞪口呆的视线中，迅速走掉了。
然而刚一出门，他又被一个人给拦住了。
这个人不是别人，正是刚才开讲座的任教授。
从那位老先生脸上的笑容来看，他应该在阶梯教室的门口等了他一会儿。
“呵呵，小伙子，咱们又见面了。”
陆舟：？？？
我们见过？
好像确实在哪里见过……
没等陆舟反应过来，这位任老先生又继续开口了。
“小伙子，有没有兴趣往火箭上发展？”
刚还在思考着孪生素数的问题的陆舟，便被这突如其来的问题给吓了一跳。
尼玛，这是让自己去当宇航员？
这哪能行啊！
陆舟尴尬一笑：“呃，教授，我还不想上天。”