lim_(n->oo) sum_(k=1)^(n) e^(-k)