Example 1.10.11. Let be non-negative real numbers. Prove that
Solution
SOLUTION. Because this is a third-degree symmetric inequality of four variables, according to the generalization of the SD3 theorem, it suffices to check this inequality in case or or or . They are all obvious, so we have the desired result. The equality holds for or up to permutation.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.