Learning that limit is 0 from above



Dear All,

Consider the following code:

(%i1) f(x) := exp(-x);
(%o1)                          f(x) := exp(- x)
(%i2) limit(f(x),x,inf);
(%o2)                                  0
(%i3)

In this example, the convergence to zero is from above (0^+). Is it
possible to have maxima tell us it? Of course, in this example, it is
quite easy to conclude that f tend to 0^+, but it is not so easy when
f is defined by rather complicated expressions.

Thanks in advance,

Paul