lim inf e^{-x} as x goes to infinity