12:41

Analytic number theory: nonzero for zeta function for real part greater or equal to 1 and 0