ghira to dewdney-ita, ghira

Forse è noto ma è carino: Una funzione f manda interi positivi ad interi positivi. Sappiamo che f(f(x))=3x e che f(x+1)>f(x). Quant'è f(13)?