Voici une méthode un peu laborieuse pour la bornitude (
perroquet doit avoir beaucoup plus astucieux) :
Je ne détaille pas tout volontairement mais s'il y a besoin de précisions je pourrai compléter mon post. Tout ce qui suit se montre par des récurrences immédiates :
On a
de la forme
où P et Q sont des polynômes en
de degrés majoré par n² (on peut même les calculer explicitement, si ça intéresse quelqu'un
) et dont les coefficients n'excède pas strictement les degrés des monômes correspondant.
Ainsi on peut majorer
.
Et cette dernière somme converge car c'est la dérivée d'une série géométrique.
Donc
est
bornée par un réel positif M.
Ensuite on écrit
.
Comme la série de terme général
converge (car
) par comparaison la série de terme général
est absolument convergente.
Par télescopie on en déduit que la suite
converge.
Sauf erreur