斯蒂文，许青舟也有印象，在普林斯顿任教的时候，在一次晚宴上见过一面，当时对方也早就退休了。

再次遇到曾经的人和事物，倒是让许青舟有些感慨。

许青舟把笔记本翻了一下，给宋瑶看邮件内容。

宋瑶看完，轻声说道：“恭喜。”

“这个月应该就会发表出来。”许青舟轻轻笑着，拿着电脑回复邮件，填写版权协议，同意把邮箱给斯蒂文教授。

宋瑶抿了抿嘴唇，眸光沉下来，低头继续奋斗。许青舟真的很耀眼，她再不追上去，就要被落下了。

对面，回完邮件，许青舟再次投入到计算中。

在这段时间中，他已经成功证明 f(p)≤g(p)，且 g(p)= o((log p)^α)，f(p)是与素数 p相关的计数函数。

并且，通过验算可以得知， f(p)的上界和下界都与logp的某个幂次成正比或成反比。

这一切都是在把上界放宽为cx(log p)^α的情况下证明出来的。

如果证明猜想是爬山，那么可以说，他现在刚刚跨过山脚的平原，到了这座山的脚下。

没错，这仅仅在控制变量条件情况下的结果，先前所有的计算都是克拉梅尔猜想的变体，真正困难的地方才到。

相邻素数问题是数论的基础问题，该性质的厘定关系到一切数系的构造。

果然，刚开始许青舟就有点束手无策的感觉。

在笔记本里调出前段时间下载的论文。

liminf（p n+1 -p n）/（lnp n）^2 =0

n→∞

他轻轻转动着手中的签字笔。

据斋藤猜想或者相邻素数间距猜想获证，当n趋于∞时，可得 pn+1 -p n =2k，最小值是2时为孪生素数