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