Problem 1
Let be positive real numbers and let . Prove that .
Step 1 of 4: Introduce the elementary symmetric sums
Detailed analysis
Let be the sum of all products of distinct variables, with . Choosing either or from each factor gives the product expansion .