sum(1/k^2,1,oo)