The sharp quantitative isoperimetric inequality

A quantitative sharp form of the classical isoperimetric inequality is proved, thus giving a positive answer to a conjecture by Hall. The proof is obtained through a symmetrization procedure, which allows to reduce oneself to the case of n-symmetric sets. And this case is in fact a simple one-dimensional problem.