は以上の整数とします。関-Bernoulli数に関するEuler-Ramanujanの恒等式をEulerの公式を使ってRiemannゼータ関数の偶数値の関係式であるWilliamsの公式に書き換えることができました(リーマンゼータ関数 - INTEGERS)。同様にして、三木の恒等式をEulerの公式…