Oui oui, juste un majorant.
Le nombre réel de résultat sera inférieur s’il y a des nombres identiques (au départ ou en cours de récurrence), mais ça, on ne peut pas le déterminer dans le cas général.
Le résultat d’Andrew Walters est donc, à mon avis, le meilleur majorant possible dans le cas général.