Problem 1
Let be nonnegative real numbers with . Show that .
Step 1 of 4: Establish the lower bound
In plain words
The subtraction term cannot overwhelm the pairwise products: the condition that the variables add to one keeps each variable at most .
Detailed analysis
Both terms are nonnegative: the first is clear, and the second factorizes as because all three variables lie in .