int e^{-2x^2} dx, x=-oo..oo