/ 2 1 \ 2 + x*log|x - --| | 2| \ x / lim e x->oo
Limit(exp(2 + x*log(x^2 - 1/x^2)), x, oo, dir='-')
oo