Sean $a_1,a_2,\ldots, a_n$ reales no negativos entonces tenemos \n$$\frac{a_1+a_2+\cdots +a_n}{n}\geq \sqrt[n]{a_1a_2\ldots a_n}.$$\nLa igualdad se da si y solo si $a_1=a_2=\cdots=a_n$.