integrate e^-x^2 from -inf to + inf