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