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