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