関-Bernoulli数の分母をとすると、 が成り立つのでした(積はがを割り切るような素数全体を渡る)。これは、von-Staudt－Clausenの定理の系で、関-ベルヌーイ数 - INTEGERSで証明しました。任意の偶数はを約数に持ち、はともに素数であることから、全てのはの…