Theorem 4.3.7.

For any event A,
\begin{equation*} P(A) \le 1 \end{equation*}

Proof.

in-context