ELMO SL 2012 C1
Let be a positive integer. Given a sequence of distinct real numbers, define the "class" of the sequence to be the sequence , where is if and otherwise.
Find the smallest integer such that there exists a sequence of length such that for every possible class of a sequence of length , there is a subsequence of that has that class.
David Yang.
Dataset text AI-MO AoPS. Quoted with source.
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.