sum 1/(n^2 + 1), n from 1 to inf