Existe uma função f:N→N, tal que f(f(n))=n+1987 para todo número natural n? (IMO Problema 4) Proposto pelo Vietnã.