Salut,
On peut s'en sortir avec une "simple" comparaison avec des suites arithmético-géométrique :
- Comme

, si on fixe un

(par exemple

), on sait qu'il existe un entier

tel que, pour tout

, on ait

.
- On choisi maintenant un

.
Comme

, il existe un entier

, qu'on peut choisir

, tel que, pour tout

, on ait

.
Pour tout

, on a donc

c'est à dire
)
et on a donc (récurrence évidente)
)
pour tout

.
(c'est ici qu'il faut connaître les suites arithmético géométriques et la façon dont on les manipule)Comme
\!=\!0)
il existe un entier il existe un entier

qu'on peut choisir

tel que, pour tout

, on ait
\!<\!\varepsilon)
ce qui signifie que

Et comme

peut être choisi arbitrairement petit (en choisissant

assez petit et en n'oubliant pas que le

est une simple constante) cela prouve bien que
