I don't believe there's any way of telling the limit subsystem that an
arbitrary function of the limit variable is bounded. Sorry.
-s
On Wed, Mar 27, 2013 at 11:50 PM, Thomas D. Dean <tomdean at speakeasy.org>wrote:
> I know the following should return true.
>
> kill(all);
> declare(c, real);
> assume(c>0, 0<f(x), f(x)<c);
> g(x):=x^2*f(x);
> limit(g(x),x,0);
> is(equal(limit(g(x),x,0),0));
>
> How do I do this?
>
> Tom Dean
> ______________________________**_________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/**mailman/listinfo/maxima<http://www.math.utexas.edu/mailman/listinfo/maxima>;
>