第453頁

    得出上面那一串的推導定理後，算是完成了證明的第一步。

    下面，由於Σn|f（n）|<∞，因此1+f（p）+f（p2）+f（p3）+...絕對收斂。考慮連乘積中p<N的部分（有限乘積）……利用f（n）的乘積性質可得：Πp<N[1+f（p）+f（p2）+f（p3）+...]=Σ'f（n）。

    第三步，由於1+f（p）+f（p2）+f（p3）+...=1+f（p）+f（p）2+f（p）3+...=[1-f（p）]-1……

    第四步……

    ……

    最後一步，由（2n）！/（n！n！）=Πp≤2n/3 ps（p）。將連乘分解為p≤√2n及√2n