Funkcija U:N→N definira se na sljedeći način:
U(n)={1,α1p1⋯αkpk,za n=1,za n=p1α1⋯pkαk,gdje su p1,…,pk međusobno razlicˇiti prosti brojevi i α1,…,αk∈N.
Za m∈N neka je U(m)(n)=U(U(…U(n)…)), pri čemu se U primjenjuje m puta.
Dokaži da za svaki prirodni broj A postoji prirodni broj B takav da je U(m)(A)=B za beskonačno mnogo prirodnih brojeva m.