In AoPS' (Art of Problem Solving) proof of Muirhead's inequality, how does the below equality work out?
The below equation appears to show two expressions (1 and 2), each under the symmetric sum notation, being multiplied together to produce expression 3, which is also under the symmetric sum notation...
but normally, is not ,
that is, when we multiply the sum of and , the result is not the sum of