Gaussian isoperimetric inequality