Gaussian integral: