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