ula_9 公式维持在formula_15，并且可以用来推导狄利克雷定理, 其为, formula_16 具有一则在 "s" = 1的留数为 1 的简单极点 (复分析)。
黎曼ζ函数的倒数.设formula_17 是一则默比乌斯函数, formula_12 因而 formula_19 是一则梅滕斯函数公式维持在formula_15