Let $n \geqslant 1$ be a natural integer, and let $(X_1, \ldots, X_n)$ be discrete real random variables that are mutually independent such that, for all $k \in \{1, \ldots, n\}$,
$$P[X_k = 1] = P[X_k = -1] = \frac{1}{2}$$
We define
$$S_n = \frac{1}{n} \sum_{k=1}^{n} X_k$$
Show that $P[S_n \geqslant 0] \geqslant \frac{1}{2}$.