Limits and Assume



On 03/28/13 06:57, Stavros Macrakis wrote:
> I don't believe there's any way of telling the limit subsystem that an
> arbitrary function of the limit variable is bounded.  Sorry.

I think limit returns the correct value, the given function.

Maple returns 0, which, I believe is not correct.

Theorem:  limit(f(x)*g(x),x,a) = limit(f(x),x,a) * limit(g(x),x,a), if 
both limits exist;

but, if limit(f(x),x,a) = infinity, then the limit of the product is 
undefined.

Correct?

Tom Dean