TUYMAADA 2015 S1
On the football training there was footballers - forwards and goalkeepers. They made goals. Prove that main trainer can give for every footballer squad number from to such, that for every goal the difference between squad number of forward and squad number of goalkeeper is more than .
(S. Berlov)
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.