L'idée de bande autour de ℓ devient maintenant une définition exacte.
Définition
(un)n≥n0 est une suite numérique.
On dit que la limite de la suite (un) est le nombre réel ℓ si pour
tout intervalle ouvert Iℓ de centre ℓ, cet intervalle contient
tous les termes de la suite (un) à partir d'un certain rang. On note :
limn→+∞un=ℓ
Propriété
Si une suite a une limite, alors cette limite est unique.
n→+∞limn1=0, n→+∞limn21=0,
n→+∞limni1=0 (pour i∈N∗),
et n→+∞limn1=0.
n→+∞lim(un−ℓ)=0⟺n→+∞limun=ℓ.
Exemple
On considère la suite (un)n≥1 définie par
un=n1+3. Montrons que
n→+∞limun=3.
On a :
limn→+∞(un−3)=limn→+∞n1+3−3=limn→+∞n1=0