Def Riemann Zeta-Function The (real) Riemann zeta-function is defined aswhere with real part greater than .

Prop The radius of convergence of the series for the Riemann zeta-function is .