Cho $f(t_1)=\min(D_n \setminus D_1)$ ta có $f(f(t_1-1))<f(t_1) \Rightarrow f(f(t_1-1))=f(1) \Rightarrow f(t_1-1)=1 \Rightarrow t_1=2$ nên $f(1)<f(2)$
Qui nạp giả sử $f(1)<f(2)<...<f(k)$ thì cho $f(t_k)=\min(D_n \setminus D_{k})$ ta có $f(f(t_k-1))<f(t_k) \Rightarrow f(f(t_k-1))=f(k) \Rightarrow f(t_k-1)=k \Rightarrow t_k=k+1$ nên $ f(1)<f(2)<...<f(k)<f(k+1) $
Điều này cũng đồng nghĩa là chứng minh được $f(n)=n$ luôn
điều này ko thể được suy ra vì $f(f(k_k-1))=f(k-1)$ vẫn đảm bảo $f(f(t_k-1)<f(t_k)$
- Idie9xx yêu thích