Giả sử f là 1 hàm xác định trên tập các số tự nhiên và nhận các giá trị tự nhiên. Giả sử rằng $f(n+1) > f(n)$ và $f(f(n))=3n$ với mọi n nguyên dương. Xác định $f(2004)$
Đề phải là $f: \mathbb{N}^{*}\to \mathbb{N}^{*}$
Ta chứng minh $n<f(n)<3n$
Nếu $n\ge f(n)\leftrightarrow f(n)\ge f(f(n))=3n\ge 3f(n)\leftrightarrow f(n)\le 0$ vô lý vì $f: \mathbb{N}^{*}\to \mathbb{N}^{*}$
Nếu $3n\le f(n)$ thì $f(f(n))=3n\le f(n)\leftrightarrow f(n)\le n$ mâu thuẫn với điều đã chứng mình ở trên. Do đó $n<f(n)<3n$
Thay $n=1$ thì $1<f(1)<3$ nên $f(1)=2$
Thay $n=2,...$