酒店中，拒绝了赵正来师兄去酒吧的邀请，许青舟放下手机，端起水杯，走到窗边呼吸新鲜空气，中途休息。
今天2号，还有3天就可以见到宋瑶了，该说不说的，一段时间没挨揍，还有点想她了。
等等，为什么会想挨揍？？？
许青舟赶紧摇了摇头，甩掉危险的思想，这跑偏得有点厉害，挨揍怎么能上瘾。
叹息一声，他又转身走到桌前。
他连下午举办的解析函数报告会都没去，这并不是自己研究的领域。况且，研讨会经常有，这种灵感爆棚的机会不可多得。
书桌上，铺满今天奋斗一天的成果，整个证明过程已经推进一半。
证明孪生素数猜想大致可以分为两步：筛法的选择，素数间隔的计算。
每个大部分又可以分为若干步骤，他先前就是被第二部分的中间渐近公式难住。
(6)λ1=1∑k|Pzμ(k)uk=1
(7)d>z，λd=0k>z，uk=0
用函数式插入真分数值的方法，从侧面证明了连蒙带猜写出来的得出孪生素数个数的渐近公式。同时，他又利用Mertens第三定理得到∏\inftyF(p)的渐近公式。
“呼~”
许青舟喝了口水，继续坐回书桌前，提起笔。
下面关键一步将二次型引入筛法，把λ的限制可以完美转化为对U的限制，这意味着能够将更大的z代入S(A，P，z)从而得到更加紧密的界。
这样就可以尽量避免筛法本质缺陷对素数分布规律的影响。
他打算构造一个函数模型，对筛法进行补充。
不过，直接使用计算素数计数函数的值非常没有效率。
许青舟指尖轻轻敲击着桌面，很快有了新的想法，这里需要先用到素数定理，可以借鉴Rosser和Schoenfeld在1962年做的数值研究。
许青舟不知道的是，就在他沉浸于庞杂的计算