sum(1/(n * pi)^2, n=1, inf)