リーマンゼータ関数
(where formula_34 is the Riemann zeta function), while the minimum obeys