ISL 2007 A6
- Answer
Let be nonnegative real numbers such that . Prove that (Poland)
Dataset text NuminaMath olympiads. Quoted with source.
Official text: IMO 2007 Shortlist booklet, page 21.
Show the answer
S \leq \sqrt{\frac{5+2 \sqrt{7}}{33+6 \sqrt{7}}} \approx 0.458879
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).