黎曼ζ函數
formula_9 is the Riemann zeta function.