lim e^-x as x->infinity