Let $x_0, x_1, x_2, \ldots \in [0, 1)$ each be a D993: Real number.

Then \begin{equation} \prod_{n = 0}^{\infty} (1 - x_n) \geq 1 - \sum_{n = 0}^{\infty} x_n \end{equation}