integrate 1/(x^2 + 1), x = -infinity ... infinity