Développement : DA à 3 termes des log itérés

Détails/Enoncé :

On considère $u_0\in R_+^\ast$, et $u_{n+1}=\ln(u_n+1)$ pour $n\ge 0$. On veut trouver un développement asymptotique à 3 termes pour $(u_n)_n$. Plus précisément, on montre qu'il existe $C\in R$ tel que $u_n=\frac{2}{n}+\frac{2}{3}\frac{\ln(n)}{n^2}+\frac{C}{n^2}+o(\frac{1}{n^2})$.

Un développement pas ultra intéressant mais pas débile non plus, qui possède un recasage qui, lui, est intéressant, notamment pour les leçons pas intéressantes du tout.

Recasages pour l'année 2024 :

Autres années :

Versions :

Références utilisées dans les versions de ce développement :

Analyse , Gourdon (utilisée dans 468 versions au total)