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