summation(1/k**2, (k, 1, oo))