Especially disappointing because extended real arithmetic can in fact solve
this correctly:
p1: sqrt(x+1)-sqrt(x)$
p2: cos(x)$
limit(p1,x,inf) => 0
limit(p2,x,inf) => IND
from which Maxima should be able using extended real arithmetic that
limit(p1*p2) => 0
On Fri, Sep 10, 2010 at 08:52, Barton Willis <willisb at unk.edu> wrote:
> (((sqrt(x+1)-sqrt(x)))*cos(x),x,inf);
>