probability of complementary

For any event , from which .

\begin{proof} In Axiom 3, let , , and . Since by definition of , while and are disjoint, . \end{proof}

This proposition is surprisingly useful because there are many situations in which is more easily obtained by direct methods than is .

EX 2.13 components in series