Limit Notation and Meaning

A limit is one of the most fundamental ideas in calculus. Informally, the limit of a function f(x) as x approaches some value c is the value that f(x) gets closer and closer to — but does not necessarily reach — as x gets closer and closer to c. Limits allow mathematicians to reason precisely about the behavior of functions near points where they might be undefined, discontinuous, or changing rapidly. Limit notation provides a compact, unambiguous language for expressing these ideas. Instead of writing lengthy sentences, we write expressions like lim(x→c) f(x) = L, which communicates in a single line that f(x) approaches the value L as x approaches c. This notation was standardized in the nineteenth century and is now universal across mathematics, physics, engineering, and economics. Understanding limits is the gateway to the rest of calculus. Derivatives are defined as limits of difference quotients, integrals are defined as limits of sums, and continuity is defined in terms of limits matching function values. Mastering the notation and meaning of limits is therefore essential before moving on to any other topic in calculus.

Key takeaways
  • The Basic Symbol: lim
  • The Subscript: x → c
  • The Expression: f(x)
  • The Result: = L
  • One-Sided Limits
  • Limits at Infinity
  • When Limits Do Not Exist

The Basic Symbol: lim

The abbreviation 'lim' stands for 'limit.' It signals that we are asking: what value does the expression to the right approach under the condition written below the symbol? Writing lim alone is incomplete; it always needs a subscript and an expression.

The Subscript: x → c

Below 'lim' we write the approach condition, most commonly x → c, read as 'x approaches c.' This means x takes values closer and closer to c from both sides — but x never actually equals c. The arrow (→) emphasizes the dynamic process of approaching, not arriving.

The Expression: f(x)

To the right of 'lim' we write the function or expression whose behavior we are studying. For example, lim(x→2) (x² − 4)/(x − 2). Notice that substituting x = 2 directly gives 0/0, which is undefined. The limit asks what value the expression approaches as x gets close to 2, not at x = 2.

The Result: = L

When the limit exists, we set it equal to a finite value L. Writing lim(x→c) f(x) = L means: for every desired degree of closeness to L (no matter how small), we can always find x sufficiently close (but not equal) to c so that f(x) is that close to L. This informal idea is made precise by the formal epsilon-delta definition.

One-Sided Limits

Sometimes f(x) approaches different values from the left and the right. We use lim(x→c⁻) f(x) = L₁ for the left-hand limit (x approaches c from values less than c) and lim(x→c⁺) f(x) = L₂ for the right-hand limit. The two-sided limit lim(x→c) f(x) exists if and only if both one-sided limits exist and are equal: L₁ = L₂ = L.

Limits at Infinity

The notation lim(x→∞) f(x) = L means f(x) approaches L as x grows without bound. Similarly, lim(x→−∞) f(x) = L describes behavior as x decreases without bound. These limits describe horizontal asymptotes. For example, lim(x→∞) 1/x = 0 because 1/x shrinks toward zero as x becomes very large.

When Limits Do Not Exist

A limit fails to exist (written DNE) in three main situations: (1) the left-hand and right-hand limits are unequal; (2) f(x) grows without bound near c (we may write lim = ∞ as a description, not a finite value); (3) f(x) oscillates endlessly and never settles, as in lim(x→0) sin(1/x). Recognizing non-existence is just as important as finding limits that do exist.

The Key Equation

lim⁡x→cf(x)=L\lim_{x \to c} f(x) = L
  • \lim — Limit operator (dimensionless): Indicates we are taking a limit; always paired with a subscript describing the approach condition.
  • x \to c — Approach condition (dimensionless): The variable x approaches the value c; x gets arbitrarily close to c but never equals c.
  • f(x) — Function expression (varies): The function whose output we are tracking as x approaches c.
  • L — Limit value (varies): The unique finite value (if it exists) that f(x) approaches as x → c.

Worked Example

Problem. Find lim(x→3) (x² − 9)/(x − 3) and explain why direct substitution fails but the limit still exists.

lim⁡x→3x2−9x−3=lim⁡x→3(x+3)=6\lim_{x \to 3} \frac{x^2 - 9}{x - 3} = \lim_{x \to 3}(x+3) = 6

Answer. The limit equals 6.

Figure
Diagram
Graph of f(x) = (x²−9)/(x−3) near x = 3xf(x)063hole at (3, 6)L = 6The open circle shows f(3) is undefined, yet f(x) → 6 from both sides.
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
AC
Augustin-Louis Cauchy
1789–1857 · French

Cauchy was the first mathematician to give a rigorous definition of the limit, placing calculus on a firm logical foundation. In his 1821 textbook Cours d'analyse, he defined continuity and convergence in terms of limits, replacing the vague 18th-century notion of 'infinitely small quantities' with precise inequalities. His work became the basis for the modern epsilon-delta definition that students encounter in advanced calculus courses. Cauchy was extraordinarily prolific, publishing 789 mathematical papers — second only to Leonhard Euler in sheer volume. His collected works fill 27 large volumes.

  • Continuity of Functions — Continuity is defined using limits: a function is continuous at c if lim(x→c) f(x) = f(c). Understanding limit notation is prerequisite to understanding continuity.
  • Limit Laws and Evaluation Techniques — Once the notation and meaning of limits are clear, the next step is learning algebraic rules (sum, product, quotient laws) and techniques such as factoring, rationalization, and L'Hôpital's rule to evaluate limits efficiently.
  • Definition of the Derivative — The derivative f'(x) is formally defined as lim(h→0) [f(x+h)−f(x)]/h. Limit notation is the language in which the derivative is expressed and understood.
  • Infinite Limits and Asymptotes — Vertical and horizontal asymptotes are described precisely using limit notation, extending the concept of limits to situations where function values or inputs grow without bound.