E^(-x/(1-x)) is less than 1-x is less than e^(-x) for nonzero real x less than 1

From specialfunctionswiki
Revision as of 00:31, 23 December 2016 by Tom (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Theorem

The following formula holds for nonzero $x \in \mathbb{R}$ with $x<1$: $$\exp \left( - \dfrac{x}{1-x} \right) < 1-x < e^{-x},$$ where $\exp$ denotes the exponential.

Proof

References