Signaux : un terme borné sans limite (cosn, (−1)n, sin2n), ou « en déduire la limite » après une inégalité.
1. Encadrer ce terme (−1⩽cosn⩽1), puis reconstruire un en conservant l'ordre (multiplier ou diviser par un positif).
2. Limite infinie : un seul côté suffit, un⩾vn avec vn→+∞ (comparaison).
3. Limite finie : il faut deux côtés, vn⩽un⩽wn, de même limite (gendarmes).
4. Calculer les limites des bornes, puis citer le théorème.
Intuition : poussée par une suite qui part à l'infini, elle suit ; coincée entre deux suites de même limite, elle y va aussi.
Étape 1. Minoration par une suite qui tend vers +∞ (démonstration exigible).
Supposons un⩾vn pour tout n⩾n0, et n→+∞limvn=+∞. Soit A un réel. Il existe un rang n1 à partir duquel vn>A. Pour n⩾max(n0,n1), on a alors un⩾vn>A : l'intervalle ]A;+∞[ contient tous les un à partir de ce rang. Comme A est quelconque, n→+∞limun=+∞.
Étape 2. Théorème des gendarmes.
Supposons vn⩽un⩽wn pour tout n⩾n0, et n→+∞limvn=n→+∞limwn=ℓ. Soit I un intervalle ouvert contenant ℓ. À partir d'un rang n1, vn∈I ; à partir d'un rang n2, wn∈I. Pour n⩾max(n0,n1,n2), un est compris entre deux nombres de l'intervalle I, donc appartient à I. Ainsi n→+∞limun=ℓ.
