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