Muirhead%27s inequality

undefined