Développement #1367

Titre : DA à 3 termes des log itérés

Contenu : 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})$.\r\rUn 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.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42