Menu

#3393 limit/tlimit give wrong result

None
open
nobody
5
2018-02-01
2018-02-01
No

The invocation of

limit(log(log(x + exp(log(x) * log(log(x))))) / log(log(log(exp(x) + x))), x, inf);

returns the result 0, but it should be 1 (as confirmed by Mathematica, Maple, and Isabelle/HOL). Calling tlimit also gives the wrong result 0. Taylor-expanding the function with taylor in Maxima, however, also correctly gives 1 as the leading term.

I reproduced this both with the latest commit on Git (3d02b5e268e867a46772952b3dbe166cc9bac11e) and the latest stable version, which is:

Maxima version: "5.41.0"
Maxima build date: "2017-10-03 21:57:38"
Host type: "x86_64-unknown-linux-gnu"
Lisp implementation type: "ECL"
Lisp implementation version: "16.1.2"

Discussion


Log in to post a comment.

MongoDB Logo MongoDB