RealLimit

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

Limiting value, real variable. Equivalent to Limit(f(x), For(x, a), Element(x, RR)).

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

Equivalent to Limit(f(x), For(x, a), And(Element(x, RR), P(x)).

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