lim (x->-infinity) e^x