Soit x un nombre entier naturel quelconque. On lui ajoute la partie entière par défaut de sa racine carrée. Puis on continue le processus avec le nouvel entier ainsi obtenu.
Démontrer qu'après un nombre fini d'itérations, on obtient un carré parfait.