Decimos que una secuencia $(x_n)$ mayoriza ($\succ$) a $(y_n)$ si $x_1+x_2+\cdots +x_n=y_1+y_2+\cdots +y_n$ y para toda $i\leq n$ $x_1+x_2+\cdots +x_i\geq y_1+y_2+\cdots+y_i$.\nSean $a_1,a_2,\ldots, a_n$ reales positivos y $(x_n)$ una secuencia que mayoriza a $(y_n)$ entonces tenemos la siguiente desigualdad \n$$\sum_{sym}a_1^{x_1}a_2^{x_2}\cdots a_n^{x_n}\geq a_1^{y_1}a_2^{y_2}\cdots a_n^{y_n}$$\nPor ejemplo si tenemos $a_1,a_2,a_3=a,b,c$ y $[3,0,0]\succ[2,1,0]$ entonces $$2a^3+2b^3+2c^3\geq a^2b+ab^2+b^2c+bc^2+a^2c+ac^2.$$