Complex and real exponential #
(b * exp x + c) / (x ^ n) tends to
+∞, for any natural number
n and any real numbers
c such that
b is positive.
Real.exp (f x) is bounded away from zero and infinity along a filter
l if and only if
|f x| is bounded from above along this filter.