黎曼ζ函數
(where formula_34 is the Riemann zeta function), while the minimum obeys