La fonction $x \mapsto \cos (x)$ est bornée. Donc $\exists ~ M \in \mathbf{R}_+ , ~ \forall ~ n \in \mathbf{N}_{>0} \left| u_{n+1} \right| \leq \dfrac{M}{n}$. La suite tend vers zéro car $\dfrac{M}{n} \xrightarrow[n \to \infty]{} 0$ par le théorème d'encadrement
Message édité le 02 novembre 2019 à 16:26:16 par Pseudo supprimé