Riemann zeta function
これは formula_17において有効であり、ここでformula_18はリーマンゼータ関数