Ca peut se faire par cas :
Tu prouves que ça peut pas être dans [2,9], parce que si tu ajoutes un de ces chiffres, les seuls changements du dernier chiffre possibles sont +0 ou +1.
Tu prouves que ça peut pas être 1, parce le seul cas ou le changement arrive au dernier, c'est que des 9, donc tu augmentes la taille.
Tu prouves que ça peut pas être 10, en raisonnement sur le "sous palindrome" privé du dernier et du premier chiffre (idem au cas pour 1).
C'est moche, mais ça marche.
Y a p-e une démo générale propre.