AngouriMath

Navigation

← Back to list of members

SolveAsBoundedTimesVanishing​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable)

 Method (no overloads)

Summary

The squeeze theorem, in the one shape that does not need the bounded factor's own
limit: a factor bounded near the destination times one that vanishes there tends to
zero, however wildly the bounded one oscillates. Also written as a quotient, where a
bounded dividend over a diverging divisor is the same statement.

Remarks

Every other rule reads a limit as a value -- the descent puts each part's own limit in
place of the part, l'Hopital's rule wants a determinate quotient, Gruntz compares rates
of growth. sin(x) has no limit at infinity, so each of them correctly declines
and the product is left indeterminate in the shape (no limit) * 0. What the
theorem needs of the factor is not its limit but its boundedness, which is a weaker
fact and one that can be read off the shape --
https://github.com/asc-community/AngouriMath/issues/723.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online