Theorem
4.3.7
.
For any event A,
\begin{equation*} P(A) \le 1 \end{equation*}
Proof
.
in-context