sum n = 0 to infinity of 1/(n^2 + 1)