Let $( \Omega , \mathcal { A } , \mathbb { P } )$ be a probability space and $X$ a discrete random variable such that $\mathbb { P } ( X = - 1 ) = 1 / 2$ and $\mathbb { P } ( X = 1 ) = 1 / 2$. Consider a sequence $\left( X _ { i } \right) _ { i \in \mathbb { N } ^ { * } }$ of mutually independent discrete random variables with the same distribution as $X$. Set $S _ { 0 } = 0$ and $S _ { n } = \sum _ { i = 1 } ^ { n } X _ { i }$. Fix $\varepsilon \in ] 0 , 1 [$. Show that there exists $x _ { 0 } \geqslant 1$ such that we have $$\forall x \geqslant x _ { 0 } , \quad \exists n _ { x } \in \mathbb { N } , \quad \forall n \geqslant n _ { x } , \quad x ^ { 2 } \mathbb { P } \left( \left\{ \left| S _ { n } \right| \geqslant x \sqrt { n } \right\} \right) \leqslant \varepsilon .$$
Let $( \Omega , \mathcal { A } , \mathbb { P } )$ be a probability space and $X$ a discrete random variable such that $\mathbb { P } ( X = - 1 ) = 1 / 2$ and $\mathbb { P } ( X = 1 ) = 1 / 2$. Consider a sequence $\left( X _ { i } \right) _ { i \in \mathbb { N } ^ { * } }$ of mutually independent discrete random variables with the same distribution as $X$. Set $S _ { 0 } = 0$ and $S _ { n } = \sum _ { i = 1 } ^ { n } X _ { i }$. Fix $\varepsilon \in ] 0 , 1 [$.
Show that there exists $x _ { 0 } \geqslant 1$ such that we have
$$\forall x \geqslant x _ { 0 } , \quad \exists n _ { x } \in \mathbb { N } , \quad \forall n \geqslant n _ { x } , \quad x ^ { 2 } \mathbb { P } \left( \left\{ \left| S _ { n } \right| \geqslant x \sqrt { n } \right\} \right) \leqslant \varepsilon .$$