Sean $a_1,a_2,\ldots,a_n$ y $b_1,b_2,\ldots,b_n$ secuencias de reales positivos. Entonces $$(a_1+\cdots +a_n)(b_1+\cdots+b_n)\geq (\sqrt{a_1b_1}+\sqrt{a_2b_2}+\cdots +\sqrt{a_nb_n})^2$$\nLa igualdad se tiene si y solo si $$a_1:a_2:\cdots:a_n\equiv b_1:b_2:\cdots:b_n.$$