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 5 of 7: Each surviving block still has enough players
∀j≠k: N≤∣Gj∩(p,N(N+1)]∣≤N+1\forall j\neq k:\ N\le \big|G_j\cap(p,N(N+1)]\big|\le N+1
Detailed analysis

Because at most 11 member of any block other than GkG_k appeared in the deleted prefix x1,…,xpx_1,\ldots,x_p, each block GjG_j with j≠kj\neq k still has at least NN of its N+1N+1 members among the undeleted players to the right of position pp. Discard, if necessary, one extra survivor from any block that still has N+1N+1 members left, so that every one of the N−1N-1 remaining blocks is trimmed to exactly NN players, giving a pool of exactly (N−1)N(N-1)N players in total.