limit as x -> infinity of e^(-x)