Từ (i) và (ii) ⇒1<f(1)<f(f(1))=3⇒f(1)=2.
Ta có: f(2)=f(f(1))=3.1=3
f(3)=f(f(2))=3.2f(2.3)=f(f(3))=3.3=32
….
Suy ra (1) f(2.3n)=3n+1;∀n∈Z+
(2) f(3n)=2.3n;∀n∈Z+
Thật vậy giả sử (1); (2) đúng đến thứ n; xt1:
f(3n+1)=f(f(2.3n))=3(2.3n)=2.3n+1f(2.3n+1)=f(f(3n+1))=3.3n+1=3n+2
Vậy (1), (2) đúng với mọi n.
Ta có (3n−1) số nguyên m nằm giữa 3n và 2.3n và do giả thiết (i) f(n+1)>f(n) nên có (3n−1) số nguyên m nằm giữa f(3n) và f(2.3n) suy ra 0<m<3n
⇒f(3n+m)=3(3n+m).
Vậy f(2.3n+m)=3(3n+m) với 0<m<3n. Suy ra n=2003=2.36+545
suy ra f(2003)=3(36+545)3822.