\sum_{sym}x_1^{a_1}x_2^{a_2} \cdots x_n^{a_n} \ge \sum_{sym}x_1^{b_1}x_2^{b_2} \cdots x_n^{b_n}