Riemann zeta function
(where formula_34 is the Riemann zeta function), while the minimum obeys