ELMO 2013 Problem 2
Let be positive reals satisfying . Prove that .
Proposed by Evan Chen
Dataset text AI-MO AoPS. Quoted with source.
Official text: ELMO 2013 official paper, page 1.
Also ELMO SL 2013 A5.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.