分法，华罗庚和selberg也给出过其它十分硬核的素数证明方法，但许青舟用不到。

通过平滑，首先得到的s是一个lipschitz连续函数，接着，就可以考虑把(5)化成积分形式。

利用对数函数的单调性。

【 log≤∫+1logudu

|s(y)|log≤∫+1|s(y)|logudu】

在这里，把=换成u。

【∑≤y∫≤y+1(+1)=y∑≤y1ylogy】

半个小时过后，许青舟眯着眼，面前多了两张写满算式的稿纸。

至此，就能得到 a≤1，然后就可以得到一个用于补充素数分布律的算式：li fx→∞π(x)logxx≤1≤li supx→∞π(x)logxx。

(本章完)

jdagly();