Proof: Let denote the integral. Then
where we needed re to have as . Thus,
Area Under a Real Gaussian
Corollary: Setting in the previous theorem, where is real, we have
Therefore, we may normalize the Gaussian to unit area by defining
it satisfies the requirements of a probability density function.
Gaussian Integral with Complex Offset
Infinite Flatness at Infinity