integral from-infinity to 4 of e^{-x}