Gaussian isoperimetric inequality
[de] Gaußsche isoperimetrische Ungleichung