KöMaL 2016 A674
Let be integers satisfying the inequality Every year, the government of Optimistica publishes its Annual Report with economic indicators. For each , the possible values of the -th indicator are . The Annual Report is said to be optimistic if at least indicators have higher values than in the previous report. Prove that the government can publish optimistic Annual Reports in an infinitely long sequence.
Official text KöMaL. 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.