Is there any information available about the implementation of the
Limit command? In particular, I am interested in how Mathematica computes limits of real functions involving basic arithmetic,
The approach that I know is to compute some kind of asymptotic expansion (using multiseries or nested expansions), as detailed e.g. in Dominik Gruntz's PhD thesis, the book ‘Symbolic Asymptotics’ by John Shackell, or various papers by Salvy/Richardson/Shackell/van der Hoeven.
My guess is that Mathematica uses something like this for that class of functions, but I wonder whether there are any more details available.