Câu hỏi 16
(MCD 3) Cho $n\in\mathbb N$, $n\ge2$, và $A_0=(a_{01},a_{02},\ldots,a_{0n})$ là một bộ $n$ số tự nhiên bất kỳ sao cho $0\le a_{0i}\le i-1$, với $i=1,\ldots,n$. Các bộ $n$ phần tử $A_1=(a_{11},a_{12},\ldots,a_{1n})$, $A_2=(a_{21},a_{22},\ldots,a_{2n}),\ldots$ được định nghĩa bởi
$$a_{i+1,j}=\operatorname{Card}\{a_{i,l}\mid1\le l\le j-1,\ a_{i,l}\ge a_{i,j}\},\qquad i\in\mathbb N,\ j=1,\ldots,n.$$
Chứng minh rằng tồn tại $k\in\mathbb N$ sao cho $A_{k+2}=A_k$.
$$a_{i+1,j}=\operatorname{Card}\{a_{i,l}\mid1\le l\le j-1,\ a_{i,l}\ge a_{i,j}\},\qquad i\in\mathbb N,\ j=1,\ldots,n.$$
Chứng minh rằng tồn tại $k\in\mathbb N$ sao cho $A_{k+2}=A_k$.