Limit (calculus)

In calculus, the limit of a function (or sequence) is the value that is approached as the function input approaches some other value.[cite:@wikipedia2025limit][cite:@openstax2020calculus] The limit formalises the notion of a function, graph, or sequence coming closer and closer to some specific value, without necessarily ever reaching it. The limit is at the heart of calculus and is the central mechanism used to define continuity, derivatives, and integrals.

Inbox

Complex fraction

Given a limit of a "complex fraction" such as limxβ†’1⁑1x+1βˆ’12xβˆ’1, you can attempt to solve by multiplying by lcd⁑(1x+1,12)lcd⁑(1x+1,12) to hopefully get a factorable expression.

Notation

The limit of a function f is usually written as limxβ†’c⁑f(x)=L and is read as "the limit of f(x) as x tends to c."

The equals sign is a bit deceptive. It is not (always) a true equality, with a "limit expression" on one side, and L on the other. Instead, one should think of it as a three-place relation between f, c, and L.

History

The concept of a function's limit has been around for thousands of years, but the concept wasn't formalised until the late 19th century, when Leibniz and Newton each independently developed the limit and calculus.[cite:@openstax2020calculus]

Definition

Limits can be defined in a variety of ways, but the (Ξ΅,Ξ΄)-definition is the most well known.

Evaluation

Coming from an algebra or trigonometry class, evaluating limits requires no fundamentally-new approach to mathematics. A few elementary solutions are understood, and they are used to build more complex laws that can be composed to solve more and more limits

Limit laws

The following is a list of the most essential limit theorems:

Limits of polynomial and rational functions

The limits of polynomial functions and rational functions are very boring. The equation limxβ†’c⁑fx=fc holds for all polynomial functions, and for all rational functions (given that fc is defined).[cite:@openstax2020calculus]

Extensionality

Limits support a powerful version of extensionality. Rather than requiring the inner expressions of two limits to be exactly equal, limits only require equality over some open interval spanning the limit point, excluding the limit point.[cite:@openstax2020calculus] This can be used to solve limits of the indeterminate form 00.[cite:@openstax2020calculus]

Assume some open interval R containing c. If for every x∈Rβˆ–{c}, fx=gx, then

limxβ†’c⁑fx=limxβ†’c⁑gx.

Extensionality often comes into play for indeterminate limits. Some strategies are:

  • If fx and gx are polynomials, factoring each function and eliminating common factors. This yields a function that is equal to the original function except it will be defined at the limit point.

  • If the fx or gx contain a difference involving a square root, multiplying by the conjugate of the expression involving the square root. Usually, you will want to simplify the product involving the original square root, but not the other expression. This is to make the factors obvious.Example: in limxβ†’25⁑xβˆ’525βˆ’x, you want to multiply by the conjugate x+5x+5 and simplify only the numerator, leaving you with limxβ†’25⁑xβˆ’25(25βˆ’x)(x+5) which can be easily solved.

Existence

Not every limit exists. If a function does not approach a single defined value at the point of the limit, the limit's value is undefined. For example, the function xβˆ’1 may appear to approach βˆ’βˆž at x=0, but this is only the case when looking at the left-hand side of the graph; on the right-hand side, it appears to approach ∞.

Conventionally the value of a nonexistent limit is written as DNE, for "does not exist."

Cases where a limit exists on only one side are still useful, albeit not proper limits. The weaker statements are called one-sided limits.