The limit of a function at is if for every , there exists a such that implies .
That is, if is within any arbitrary distance of whenever is sufficiently close, but not necessarily equal to, .
Note that represents the greatest distance between the values of the function and its limit, while represents the distance from the values of the function's inputs to .
The idea that the condition is not required allows for the possibility that the values of function approaches , but the actual value of need not be , or even defined.
If, by chance, we have , then we also say that is continuous at .
The limit of a function has an equivalent definition involving real sequences:
- Suppose , and is an arbitrary sequence such that
- Now suppose as
Ie, with and
So take , so by the above
So we have found a sequence
The first paragraph shows the standard definition implies the sequential characterisation, and the second paragraph (via proof of the contrapositive) shows that the sequential characterisation implies the standard definition. Therefore the two are equivalent and either may be used as the definition.
Properties of limits
Two-sided limits are only defined if the limit from the right it equal to the limit on the left. Examples of when this is not the case include peicewise functions or functions involving absolute values.
Methods of limit evaluation
The function is undefined at x=1. However, we can find the value of the function at values very close to one.
We can see from the table that the value is approaching 2, so we can infer that
Limits can be estimated by graphing the function. For example, by looking at a graph of , one can clearly see that .
In some cases, limits can be found by algebraic manipulation. For example,
If the limit is to either positive or negative infinity, only the largest degree terms affect the final answer. For example,