[math-fun] The Limit of my credulity

In[152]:= Limit[ArcSinh[x Log[x] - x] - Log[Log@x]^1, x -> \[Infinity]] Out[152]= -\[Infinity] In[167]:= Limit[ArcSinh[x Log[x] - x] - Log[Log@x]^(1 - 1/E^E^E^E^E^x), x -> \[Infinity]] Out[167]= \[Infinity] There was a brief shining moment when developmental Macsyma could actually do these, using Bill Dubuque's nhayat asymptotic expansion system, inspired by a certain moderator. --rwg