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

==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==
* {{BookReference|Handbook of mathematical functions|1964|Milton Abramowitz|author2=Irene A. Stegun|prev=findme|next=e^x is greater than 1+x for nonzero real x}}: $4.2.29$

[[Category:Theorem]]
[[Category:Unproven]]