Bonsoir, comme dit dans le titre mon exercice porte sur l'étude d'une suite récurrente et j'aimerais savoir si une partie de mon raisonnement est juste. En voici l'énoncé :
Etudier la suite
_{n\in\mathbb{N}})
définie par

et

.
J'ai donc commencé à dire que la fonction récurrente associée à la suite était strictement croissante sur

. Elle a pour unique point fixe

(qui vérifie l'équation
=l)
).
Pour connaître la limite j'ai fait par disjonction de cas sur

:
Si

alors
=0)
et ainsi de suite... La suite converge donc vers 0.
Si

, f est croissante sur

et non majorée donc la suite diverge vers

.
(et c'est là où je ne suis pas sûr pour la démonstration)
Si

, on a f croissante sur

et
 \subset ]-\infty;0])
, montrons par récurrence que

est majorée par 0 :
Soit

la propriété pour cette démonstration :
Initialisation : 
(cas étudié) donc propriété P vraie au rang 0.
Hérédité : On suppose

vraie au rang n, la propriété est-elle vraie au rang n+1 ?
Par hypothèse de récurrence on a

alors

,
or
 \subset ]-\infty;0])
alors
 \in ]-\infty;0] \iff u_{n+1} \in ]-\infty;0] \iff u_{n+1} \leq 0)
.
Propriété vérifiée donc

.
La suite récurrente
_{n \in \mathbb{N}})
est croissante et majorée par 0, alors elle tend vers son unique point fixe

.
Merci d'avance pour ceux qui m'apporteront leur aide, je vous souhaite une bonne soirée.