ベルヌーイ数
holds true, where "B" is a Bernoulli number and formula_4 is Euler's totient function.