Ca ressemble un peu à la conjecture de Syracuse, mais en 1000000 fois plus simple.
Même pour a=3, ce n'est pas la conjecture de Syracuse.
Syracuse : Un+1= aUn+1 si Un impair ;
Ici : Un+1= Un+a si Un impair
Les étapes 'montantes' montent vite dans la conjecture de Syracuse, et montent lentement dans cet exercice.
Le parallèle avec la conjecture de Syracuse est forcément une impasse. Pour rappel, il a été dit à une époque que l'URSS aurait fait du buzz autour de la conjecture de Syracuse, pour que les matheux de l'ouest s'entichent de cette conjecture, et passent leur vie à chercher cette conjecture. Et ainsi, l'URSS aurait dépassé l'ouest sur le plan scientifique. C'était une facette de la guerre froide.
C'est probablement faux, mais ça décrit tellement bien à quel point cette conjecture est une source de problèmes.
Lionel52 a donné le bon indice.