Limit

Input: Limit(f(x), For(x, a), P(x))
$$\lim_{x \to a,\,P(x)} f(x)$$

The limiting value of $f(x)$ for every sequence of $x$ satisfying $P(x)$ and approaching the limit point $a$. If the predicate $P(x)$ is omitted, the expression renders correctly to LaTeX, but this form should be avoided since it is ambiguous whether it denotes a sequence limit, real limit or complex limit (or some other kind of limit). It is better to use SequenceLimit, RealLimit, LeftLimit, RightLimit or ComplexLimit depending on the purpose. The limit is always a deleted limit. That is, the value of $f(a)$ does not need to be equal to the limit and does not even need to be defined. The expression $f(x)$ is not required to be defined for all $x$ satisfying $P(x)$; it only needs to be defined for all $x$ in some neighborhood of the limit point and also satisfying $P(x)$.

Last updated: 2020-03-06 00:22:16