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 5 of 7: Each surviving block still has enough players
Detailed analysis
Because at most member of any block other than appeared in the deleted prefix , each block with still has at least of its members among the undeleted players to the right of position . Discard, if necessary, one extra survivor from any block that still has members left, so that every one of the remaining blocks is trimmed to exactly players, giving a pool of exactly players in total.