Riemann zeta function
formula_9 is the Riemann zeta function.