リーマンゼータ関数
に収束する。ここで ζ("s") はリーマンゼータ関数である(Golomb, 1970)。