Skip to content

Limit at Infinity

Definition

Let X⊆RX\subseteq \mathbb{R} and let f ⁣:X→Rf\colon X\to \mathbb{R} be a function. Assume there exists M0∈RM_0\in\mathbb{R} such that (M0,+∞)⊆X.(M_0,+\infty)\subseteq X\text{.} We say that ff converges to L∈RL\in\mathbb{R} as x→+∞,x\to +\infty\text{,} and we write lim⁡x→+∞f(x)=L,\displaystyle \lim_{x\to +\infty} f(x)=L\text{,} if for every ε>0\varepsilon>0 there exists M≥M0M\ge M_0 such that

x>M   ⟹   ∣f(x)−L∣<ε.x>M \, \implies\, |f(x)-L|<\varepsilon.

Similarly, assume there exists M0∈RM_0\in\mathbb{R} such that (−∞,M0)⊆X.(-\infty,M_0)\subseteq X\text{.} We say that ff converges to L∈RL\in\mathbb{R} as x→−∞,x\to -\infty\text{,} and we write lim⁡x→−∞f(x)=L,\displaystyle \lim_{x\to -\infty} f(x)=L\text{,} if for every ε>0\varepsilon>0 there exists M≤M0M\le M_0 such that

x<M   ⟹   ∣f(x)−L∣<ε.x<M \, \implies\, |f(x)-L|<\varepsilon.

Interpretation

A limit at infinity describes how a function behaves as the input grows without bound: f(x)→Lf(x)\to L as x→+∞x\to+\infty means that f(x)f(x) stays as close to LL as we like once xx is large enough. It formalizes long-term or asymptotic behaviour: the line y=Ly=L is then a horizontal asymptote of the graph.

A damped oscillating function approaching a horizontal line at L, with a shaded band from L minus epsilon to L plus epsilon that the graph stays inside for all x beyond M.

The shaded band is the strip ∣y−L∣<ε|y-L|<\varepsilon to the right of the threshold MM, and the definition asks that the graph stays inside it for all x>Mx>M. The damped oscillation keeps crossing the dashed line y=Ly=L: ff need not approach LL monotonically or from one side, only the distance ∣f(x)−L∣|f(x)-L| has to become small. A narrower band usually needs a larger MM.

The bound MM takes over the role of δ\delta in the limit at a point: ε\varepsilon is given first, and MM may depend on it. The assumption (M0,+∞)⊆X(M_0,+\infty)\subseteq X makes sure that every x>Mx>M belongs to the domain, so the condition says something about ff for all large inputs.

The definition is the continuous counterpart of the limit of a sequence, with x>Mx>M in place of n>Nn>N. If f(x)→Lf(x)\to L as x→+∞x\to+\infty, then also f(n)→Lf(n)\to L as n→∞n\to\infty. The converse fails: sin⁡(πn)=0\sin(\pi n)=0 for every integer nn, but sin⁡(πx)\sin(\pi x) has no limit as x→+∞x\to+\infty. Limits at infinity return later, for example in improper integrals over unbounded intervals.


Key Results

  • Limits at infinity describe behaviour far from any finite region.
  • A function may have different limits at +∞+\infty and −∞.-\infty\text{.}
  • Limits at infinity may also be infinite: lim⁡x→+∞f(x)=+∞\displaystyle\lim_{x\to+\infty}f(x)=+\infty means that for every K∈RK\in\mathbb{R} there exists M≥M0M\ge M_0 such that x>M  ⟹  f(x)>K;x>M\implies f(x)>K\text{;} the cases with −∞-\infty are analogous.

Examples

  • lim⁡x→+∞1x=0.\displaystyle \lim_{x\to+\infty}\frac{1}{x}=0\text{.}
  • lim⁡x→−∞x2=+∞.\displaystyle \lim_{x\to-\infty}x^2=+\infty\text{.}

Prerequisites

Sources

Aliases: limit of a function at infinity Keywords: function limit Symbols: delta, element of, epsilon, infinity, pi, real numbers, subset

Last updated: 20 October 2026 03:02