Muirhead's_inequality loading ...