Subcontests
(5)USAMO 2003 Problem 3
Let n=0. For every sequence of integers A=a0,a1,a2,…,an satisfying 0≤ai≤i, for i=0,…,n, define another sequence t(A)=t(a0),t(a1),t(a2),…,t(an) by setting t(ai) to be the number of terms in the sequence A that precede the term ai and are different from ai. Show that, starting from any sequence A as above, fewer than n applications of the transformation t lead to a sequence B such that t(B)=B.