ELMO 2013 Problem 1
Let be nine real numbers, not necessarily distinct, with average . Let denote the number of triples for which . What is the minimum possible value of ?
Proposed by Ray Li
Dataset text AI-MO AoPS. Quoted with source.
Official text: ELMO 2013 official paper, page 1.
Also ELMO SL 2013 C3.
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.