ThmDex – An index of mathematical definitions, results, and conjectures.
F10966
Formulation 0
Let $x_1, \ldots, x_N \in [0, 1)$ each be a D993: Real number.
Then \begin{equation} \prod_{n = 1}^N (1 - x_n) \geq 1 - \sum_{n = 1}^N x_n \end{equation}