Encuentra todas las funciones $f: \mathbb{N} \mapsto \mathbb{N}$ tales que para cualquier entero positivo $n$ y secuencia finita de enteros positivos $a_0, \dots, a_n$, siempre que el polinomio $a_0+a_1x+\dots+a_nx^n$ tenga al menos una raíz entera, también la tiene $f(a_0)+f(a_1)x+\dots+f(a_n)x^n$.