MathLabs

Problem 5

An integer N≥2N \ge 2 is given. A collection of N(N+1)N(N+1) soccer players, no two of whom are of the same height, stand in a row. Sir Alex wants to remove N(N−1)N(N-1) players from this row leaving a new row of 2N2N players in which the following NN conditions hold: no one stands between the two tallest players, no one stands between the third and fourth tallest players, …\ldots, no one stands between the two shortest players. Show that this is always possible.
Step 3 of 7: A first repeated block appears early
N+1>N  ⟹  ∃ q<p≤N+1: xq,xp∈GkN+1>N\implies \exists\, q<p\le N+1:\ x_q,x_p\in G_k
Detailed analysis

Scan the row from left to right, position by position, and stop at the first index pp where the block containing xpx_p already contains an earlier player xqx_q with q<pq<p; call this repeated block GkG_k. Such a repeat must occur among the first N+1N+1 positions, because there are only NN blocks, so by the pigeonhole principle N+1N+1 scanned players cannot all lie in different blocks. Minimality of pp then forces every block other than GkG_k to contribute at most 11 player to the initial segment x1,…,xpx_1,\ldots,x_p, while GkG_k contributes exactly 22 players there, namely xqx_q and xpx_p.