リーマンゼータ関数
formula_9 is the Riemann zeta function.