ここでPを素数全体の集合として
と無限に続く関数を定義します。
このとき
ここで，Bnはベルヌーイ(Bernoulli)数と呼ばれB1 = -1/2,B2 = 1/6;B3 = 0;B4 = -1/30;B5 = 0,B6 = 1/42;B7 = 0,B8 = -1/30,B9 = 0;B10 = 5/66,B11 = 0;B12 = -691/2730,B13 = 0,B14 = 7/6,B15 = 0,B16 = -3617/510,B17 = 0,B18 = 43867/798,B19 = 0,B20 = -174611/330… である。 もう少し詳しく書くまでもうちょっと待ってください。