We denote $$p_{+} = \mathbb{P}(X' \in C_{+1}) \quad \text{and} \quad p_{-} = \mathbb{P}(X' \in C_{-1})$$ We assume, without loss of generality, that $p_{+} \geqslant p_{-}$. Show that $p_{-} > 0$.
We denote
$$p_{+} = \mathbb{P}(X' \in C_{+1}) \quad \text{and} \quad p_{-} = \mathbb{P}(X' \in C_{-1})$$
We assume, without loss of generality, that $p_{+} \geqslant p_{-}$. Show that $p_{-} > 0$.