Быстрое вычисление $\zeta(3)$

Доказано, что сложность вычисления $\zeta(3)$ с точностью $2^{-n}$ есть $0(n\log^3n\log\ log n)$ элементарных операций; $\zeta(s)$ – дзета-функция Римана.