Let $\left(X_{n}\right)_{n \in \mathbb{N}}$ be a sequence of mutually independent Rademacher random variables. We denote $S_{n} = \sum_{j=1}^{n} X_{j}$. Let $k$ be an integer such that $-n \leqslant k \leqslant n$. Show that, if $n$ and $k$ have the same parity, $\mathbb{P}\left(S_{n} = k\right) = \binom{n}{(k+n)/2} \frac{1}{2^{n}}$.
Let $\left(X_{n}\right)_{n \in \mathbb{N}}$ be a sequence of mutually independent Rademacher random variables. We denote $S_{n} = \sum_{j=1}^{n} X_{j}$. Let $k$ be an integer such that $-n \leqslant k \leqslant n$. Show that, if $n$ and $k$ have the same parity, $\mathbb{P}\left(S_{n} = k\right) = \binom{n}{(k+n)/2} \frac{1}{2^{n}}$.