p;   「你这老成的心态，不愧是老顾带出来，简直一模一样。」

    许青舟附和笑了笑。

    赵升文：「我也不绕弯子，我们课题组第一阶段的数据出来了，但效果不是特别理想，得找个人帮着做分析，最好是能弄出一套完整的理论模型。」

    「我就想着打电话来问问你，咱们也算是老熟人了。但我知道你在忙波利尼亚克猜想，如果忙不过来的话，我再问问老顾。」

    许青舟当然不会拒绝：「我这边没什麽问题，您什麽时候需要，我什麽时候过来。」

    「明天上午，9点吧。」

    「好。」

    挂断电话，许青舟长吐了口气，想什麽来什麽，前些天还想着要怎麽蹭一蹭实验呢。

    回到图书馆位子上，喝了口水，他的目光放到了猜想内容上：对所有自然数k，存在无穷多个素数对(p，p+2k)。

    波利尼亚克猜想，也叫广义孪生素数猜想。

    多了「广义」两个字，证明或者证伪的难度直线上升。

    就好像原本要在一片湖里捞针，现在突然把湖换成海，成了真正的大海捞针了。

    许青舟眯着眼，注意力又回到孪生素数个数的推测上面。这个地方，再进行修正，用π2(x)表示不超过x的孪生素数个数.

    想着，他提笔写下一排公式。

    【π2(x)=#{p≤x:p+2isprime}】

    按照这种方式的话，孪生素数猜想的充分必要条件就是π2(x)严格单调递增。

    到这里，渐近公式就比较重要了。

    【π2(x)Kxlog2x。】

    接下来可以试着求出K的具体表达式。

    通过拼凑，先让第(9)右侧的乘积能够变成收敛的量，也就是说要找到一个已知渐近展开的乘积∏3≤p≤xf(p)使得乘积∏p≥312/pf(p)收敛。

    最后，再利用对数函数的性质，就能把问题转化成证明表达式收敛。

    想清楚，许青舟也不再浪费时间，开始动笔。

    这意味着当n≤Pz时，有：

    【π2(Pz，z)=∏.3≤p≤z(p2)=Pz2∏3≤p≤z(12p)】

    K的表达式：

    【K=2∏p≥312/p(11/p)2=2∏p≥3[11(p1)2]】

    到这里，许青舟就算完成了第一步，接下来，就是把曾经探究素数和孪生素数分布时用的