ISL 2008 A2
(a) Prove the inequality for real numbers satisfying the condition . (b) Show that there are infinitely many triples of rational numbers for which this inequality turns into equality.
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2008 Shortlist booklet, page 10.
Solutions
Official solution Solution 1 by the IMO Problem Selection Committee
The terms of the source let olymmath link to this solution but not copy it. Read the solution (IMO official site).