Je reprends !
La fonction f: x -> x + ln(x) est continue et strictement croissante sur ]O;+oo[. Elle tend vers -oo en zéro et vers +oo en +oo : elle prend toute valeur réelle une fois et une seule, en particulier elle prend la valeur n et une seule fois. D'où pour tout n € N u_n = f^-1(n)
f^-1 réalise une bijection strictement croissante de R sur R+* donc pour tout n € N, u_(n+1) = f^-1(n+1) > f^-1(n) = u_n. De plus lim f^-1 quand x tend vers +oo = +oo et a fortiori lim u_n quand n tend vers l'infini = +oo
Et
"on a u_n + ln u_n = n, et comme la suite tend vers +oo on a ln(u_n) = o(u_n) et on en déduit que u_n ~ n ok ?"
