\sum_{sym}x_1^{a_1}x_2^{a_2}...x_n^{a_n}\geq\sum_{sym}x_1^{b_1}x_2^{b_2}...x_n^{b_n}