Encuentra todas las funciones $f : \mathbb{Z}^+ \rightarrow \mathbb{Z}^+$ tales que, para cualesquiera enteros positivos $m$ y $n$,\n\[f^{f(n)}(m) + mn = f(m)f(n).\]