Définition formelle (limite en un point a) : x→alimf(x)=L signifie ∀ε>0, ∃δ>0, ∀x∈Df, ∣x−a∣<δ⟹∣f(x)−L∣<ε (si f est définie en a, cela impose L=f(a)).
Cas d'une limite en +∞ : x→+∞limf(x)=L signifie ∀ε>0, ∃A>0, ∀x>A, ∣f(x)−L∣<ε.