Lo que tienes que hacer es partición de los números naturales en las cadenas de iteración de la función factorial:
$0, 1, 1, 1, \dots$
$2,2,\dots$.
$3,3!,3!!,3!!!,\dots$
$4, 4!, 4!!, \dots $
Vaya por empezar el siguiente de la cadena con el menor número natural que no ha sido utilizado.
Excepto las dos primeras cadenas, ninguna cadena se han repetido los valores de y desde la función de $n!$ es inyectiva positivos $n$, de las cadenas será distinto.
Ahora, para encontrar $f$, establecimiento $f(0)=f(1)=1$ $f(2)=2$ le dará la deseada relación de estos valores.
Para todos los otros valores, a la par de las cadenas, y por un par de cadenas
$a_1,a_2,\dots$
$b_1,b_2,\dots$
establezca $f(a_k)=b_k$$f(b_k)=a_{k+1}$.
Esto asegura que el $f\circ f$ sólo se mueve un paso a lo largo de cada cadena como debe satisfacer la ecuación.
Como usted puede ver, usted tiene un montón de opciones en el emparejamiento de seguridad de las cadenas.