On veut un $\sigma$ qui vérifie cette inégalité car on n'a aucune autre information sur la suite, hormis l'inégalité en vue $u_n \le \sigma \sqrt{n}$. Avec un peu de chance (et on en aura) on trouvera un tel $\sigma$.
Une fois que tu tiens un bon candidat, une petite récurrence suffit à établir le résultat pour tout n (grâce à l'inégalité que l'on s'est imposée).
C'est une analyse-synthèse pour l'hérédité si tu préfères. On part de ce que l'on veut démontrer et on imagine ce qu'il faut pour y parvenir. Ici intercaler des inégalités, trouver des conditions suffisantes sur $\sigma$, jusqu'à trouver ce que l'on cherchait.
Message édité le 18 août 2019 à 15:09:33 par [BAN]DonDoritos