Muirhead's_inequality