La suite de Syracuse

C'est une suite d'entiers naturels définie par :

u₀ = N

u_n+1 = u_n / 2 si u_n est pair et u_n+1 = 3 * u_n + 1 si u_n est impair.

Toute suite semble se terminer par le cycle 4 2 1, mais cela n'a jamais été prouvé.

Le programme ci-contre travaille avec des BigInteger ce qui permet un fonctionnement quelque soit l'entier de départ. Le programme s'arrête lorsque la valeur 1 est atteinte.