陈景润老先生的1+2也是基于此得证的。
但是在θ取1时，却又不成立。
但是，对于一些特定值，却又是可以证明成立。
比如，可以先证明某个大于1/2的水平θ成立，进而由此推出：存在一个正偶数h小于等于某一个定值，使得方程 p1 － p2 ＝ h 有无穷多组解，其中 p1， p2 都是素数。
若h=2，那最终结果就整出来了。
不过真的要缩小到h=2，只能说，任重而道远。
但是此时的θ自然是越大越好，θ越大，h就越小呐。
这样一来，就可以绕开θ可以取任何小于1的正实数这一假定。
不必再去寻找一个θ的上限，虽然说，θ越大，平均水平越高，最后得到的无穷多对素数对之间的间距就越小。
但是，苏航不在乎了。
只要能找到一个就行了，不求最后结果是多大。
再大也没关系，只要这个方法对就行了。
方法对了，找数字不过是一个体力活罢了，交给后来人去做，或者后面不断改进方法，总归有一天是可以证明出来的。
他感觉自己脑子的那种清晰感逐渐弱了下去。
“药效”过了？
这积分还不如肾宝呐。
一瓶提神醒脑，两瓶永不疲劳，这积分不够顶呐。
这次时间明显比上次要短，难道积分消耗速度还和自己的学习内容有关系吗？
有可能，就跟开车一样，慢慢开和飙车能一样吗？
飙车的话，恐怕撑不了多久就虚了吧。
苏航赶紧抓紧时间把思路写下来，把最关键的部分记录在纸上，生怕过了就忘了。
不过苏航明显是多虑了，记忆还是很清晰的，又是真的全靠开挂拿来的证明过程。
不过很遗憾，最后的间距还是没能在趁着现在求出来。
苏航已经没精力了。
感觉大脑简直被掏空，身子也是。
等到那股子清凉劲彻底散去，苏航瘫坐在椅子上。
伤脑筋，伤脑筋。
回忆起小时候电视上那个下棋下到吐血的棋手，原来用脑过度真的会要死啊。
不过，苏航感觉自己还好，不至于要死要活的。
只是有一个问题。
饿。
好饿。
非常饿。
肚子又咕噜咕噜地叫了。
幸好是在寝室，不然在图书馆又得闹笑话了。
苏航摸了摸肚子。
拿起边上备着的小零食，苏航也不管是什么味的了，直接往嘴里塞。
吃就完事了，还要啥自行车。
苏航手上、嘴里的动作不停，脑子里却还在思考这最关键的一步。
简单地吃了一包干脆面，苏航感觉好点了，于是继续前面未完成的工作。
……
光影流转，知了还在吱吱地叫个不停。
寝室里光线渐渐昏暗，苏航随手打开台灯，眼睛却依旧不离纸面，右手也在不停地写。
一张纸，有一张纸，电脑上也有一行行的运算。
终于的终于。
结果出来了。
Lim inf （Pn+1 - Pn）＜7×10^7
这个数字有点大，但是起码证明出来了。
苏航再次仔细审视了一遍，没有发现明显的逻辑错误。
收工，去吃饭。
苏航看了眼外面漆黑的夜空。
额么么么，这还是去吃夜宵吧。
或者，再来桶泡面？