リーマンゼータ関数
ここでformula_25はリーマンゼータ関数の導関数、formula_26はグレイシャーの定数である。