Sia $f: NN -> NN$ tale che, per ogni $n in NN$, $f(n)$ è il numero intero ottenuto "mettendo" la cifra delle unità di $n$ come prima cifra. Ad esempio: $f(145)=514$, $f(9022)=2902$, $f(25)=52$.
Se vogliamo una definizione un po' più rigorosa:
Per ogni $k in NN$ e $a_k, ..., a_1, a_0 in {0,1,2,3,4,5,6,7,8,9}$
$f(a_k *10^k + a_(k-1) * 10^(k-1)+... +a_1*10 +a_0):= a_0*10^k +a_k*10^(k-1)+ ....+a_2*10+a_1$
Esistono $n in NN$ tali che $f(n) = 2n$?