The Gaussian integral