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