 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

For a finite or countable <partition of a set> into <events> $B_i$, the <law of total probability> states
$$
\boxed{\mathbb P(A)=\sum_{i:\,\mathbb P(B_i)>0}\mathbb P(A\mid B_i)\mathbb P(B_i).}
$$
The <events> $A\cap B_i$ are pairwise disjoint and have union $A$, so countable additivity proves the formula. Terms with $\mathbb P(B_i)=0$ contribute zero and are omitted to avoid undefined <conditional probabilities>.

 Back to article page