#3092 unconsistant limit result with log

[philippe Roux]

the two following limits should be equal (since log(x+1)-log(x)=log(1+1/x)) but they don't :

limit(log((log(x+1)-log(x))/sqrt(x))/log(x),x,inf);
result -> -1/2

limit(log(log(1+1/x)/sqrt(x))/log(x),x,inf);
result -> -3/2

only the second result is valid since log(x+1)-log(x)/sqrt(x)~1/(x*sqrt(x))=x^(-3/2)

bug_report() gives the following informations :

build_info(version="5.32.1",timestamp="2014−01−10 01:52:55",host="x86_64−unknown−linux−gnu",lisp_name="GNU Common Lisp (GCL)",
lisp_version="GCL 2.6.10")

[Dan Gildea]

seems ok in current git

(%i2) limit(log((log(x+1)-log(x))/sqrt(x))/log(x),x,inf);                                                  
(%o2) -3/2