In mathematics, the Gaussian isoperimetric inequality, proved by Boris Tsirelson and , and later independently by , states that among all sets of given Gaussian measure in the n-dimensional Euclidean space, half-spaces have the minimal Gaussian boundary measure.