Suites numériques (3/5)

Soit {(u_n)_{n\ge0}} une suite croissante de nombres réels.
Si cette suite est majorée, alors elle est convergente.
Plus précisément, {\lim u_n=\sup\{u_n,n\ge0\}}.
Si au contraire cette suite n'est pas majorée, alors {\lim\,u_n=+\infty}.
On retiendra le "théorème de la suite monotone" : toute suite réelle monotone possède une limite.

Soit {(u_n)_{n\ge0}} une suite décroissante de nombres réels.
Si cette suite est minorée, alors elle est convergente.
Plus précisément, {\lim u_n=\inf\{u_n,n\ge0\}}.
Si au contraire cette suite n'est pas minorée, alors {\lim u_n=-\infty}.

Soit {X} une partie non vide majorée de {\mathbb{R}}.
Alors il existe une suite {u} d'éléments de {X} telle que {\lim u_{n}=\sup X}.
On peut même faire en sorte que la suite {u} soit croissante.
De même, si {X} est non vide minorée, il existe une suite décroissante {u} de {X} telle que {\lim u_{n}=\inf X}.

L'étude d'une suite réelle passe très souvent par celle de sa monotonie.

C'est donc un réflexe utile que de vérifier si la suite étudiée est croissante ou décroissante.

En général, on étudiera pour cela le signe de la différence {u_{n+1}-u_{n}}.

Mais si le terme général {u_n} s'exprime sous forme de produits, de puissances ou de factorielles, il pourra être plus simple de comparer le rapport {u_{n+1}/u_n} avec la valeur {1} (attention au signe de {u_n} avant de conclure!).