Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. La primera condición nos dice que la función $f(n)$ se lleva muy bien con la factorización de $n$, luego factorizamos $1002=2\cdot 3\cdot 167$ ($167$ es primo, pero no hace falta ni siquiera saberlo para llegar al resultado), lo que nos da $2004=2^2\cdot 3\cdot 167$. Ahora observamos que \[1003969\leq f(1002)\leq 1002^2=1004004,\] lo que deja relativamente pocos valores posibles para $f(1002)$. Ahora bien, la segunda condición nos da también $f(2)\leq 4$, $f(3)\leq 9$ y $f(167)\leq 27889$. Vamos a ver que estas tres desigualdades tienen que ser igualdades, pues en caso contrario, se tendría que $f(2)\leq 3$, $f(3)\leq 8$ o $f(167)\leq 27888$, luego se cumpliría alguna de las siguientes desigualdades \begin{align*} f(1002)&=f(2)f(3)f(167)\leq 4\cdot 9\cdot 27888=1003968,\\ f(1002)&=f(2)f(3)f(167)\leq 4\cdot 8\cdot 27889=892448,\\ f(1002)&=f(2)f(3)f(167)\leq 3\cdot 9\cdot 27889=753003, \end{align*} pero ninguna de ellas es posible ya que $f(1002)\geq 1003969$ (en este punto nos damos cuenta de por qué se ha puesto ese número raro en el enunciado). Deducimos, pues, que \[f(2004)=f(2)^2f(3)f(167)=4^2\cdot 9\cdot 27889=2004^2=4016016\] es el único posible valor.