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