Problem 5
An integer is given. A collection of soccer players, no two of whom are of the same height, stand in a row. Sir Alex wants to remove players from this row leaving a new row of players in which the following conditions hold: no one stands between the two tallest players, no one stands between the third and fourth tallest players, , no one stands between the two shortest players. Show that this is always possible.
Step 1 of 7: Reduce the problem to an induction on
In plain words
Since removing players is monotone, the natural strategy is to peel off one adjacent pair at a time and recurse on a smaller version of exactly the same problem.
Detailed analysis
We prove by strong induction on that for every integer , a row of players of distinct heights admits deletions leaving survivors whose consecutive height-ranks for are each physically adjacent in the resulting row; the problem's requested range is included as a special case. The base case needs no deletions at all: there are only players, so the single required pair is trivially adjacent.