Question 22(VIE 3) (IMO4) Does there exist a function $f:\mathbb N\to\mathbb N$, such that $f(f(n))=n+1987$ for every natural number $n$?