其中 ∏ p | prime {\displaystyle \prod _{p|{\text{prime}}}} 表示对所有素数的乘积。
注意,
因此,
可以注意到,每隔一项都被移除了。因此,
减去,
可以注意到,这个过程对 RHS 进行了筛分,这意味着,
将被积函数乘以 e − t e − t {\displaystyle {\frac {e^{-t}}{e^{-t}}}} ,
将 ( 1 − e − t ) − 1 {\displaystyle (1-e^{-t})^{-1}} 写成幂级数形式,
利用替换 ξ = n t ⟹ 1 n d ξ = d t {\displaystyle \xi =nt\implies {\frac {1}{n}}\mathrm {d} \xi =\mathrm {d} t}
使用无穷级数的性质,
根据 Γ {\displaystyle \Gamma } 函数的定义,
根据定义,这确实是正确的。 ◼ {\displaystyle \blacksquare }