integral e^(-x^2 / a) / sqrt(2pi) dx from -inf to inf