We consider a general balanced urn with parameters $a_{0}, b_{0}, a, b, c, d \in \mathbb{N}$ satisfying $a + b = c + d = s$. For $n \geqslant 1$, $\Omega_{n}$ denotes the set of possible outcomes of $n$ draws, and $X_{n}$ denotes the number of white balls present in the urn after $n$ draws. For $\omega \in \Omega_{n}$, $b(\omega)$ denotes the number of white balls present in the urn at the end of the $n$ draws modeled by $\omega$.
Show that, for all $n \in \mathbb{N}^{*}$ and all $k \in \mathbb{N}$, $$P(X_{n} = k) = \frac{\operatorname{card}(\{\omega \in \Omega_{n} ; b(\omega) = k\})}{\operatorname{card}(\Omega_{n})}.$$

Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. If $n \in \mathbb{N}^*$, we denote $\{n \mid X\}$ the event ``$n$ divides $X$'' and $\{n \nmid X\}$ the complementary event.
Let $r \geqslant 1$ be an integer. Show that $$P\left(\bigcap_{i=1}^{r}\left\{p_i \nmid X\right\}\right) = \prod_{i=1}^{r}\left(1 - p_i^{-s}\right).$$

With the notation of question 28, show that $$\mathbb { P } \left( M \notin \mathcal { G } \ell _ { n } ( \mathbb { R } ) \right) \leqslant \sum _ { j = 1 } ^ { n - 1 } \mathbb { P } \left( C _ { j + 1 } \in \operatorname { Vect } \left( C _ { 1 } , \ldots , C _ { j } \right) \right) .$$

With the notation of question 28, deduce that, for all $j \in \llbracket 1 , n - 1 \rrbracket$, $$\mathbb { P } \left( C _ { j + 1 } \in \operatorname { Vect } \left( C _ { 1 } , \ldots , C _ { j } \right) \right) \leqslant 2 ^ { j - n } .$$

Let $E$ be a countably infinite subset of $\mathbb{R}$. Let $(\Omega, \mathscr{A}, P)$ be a probability space. Let $X$ be a random variable defined on $(\Omega, \mathscr{A}, P)$ and taking values in $E$. We call the distribution of the variable $X$ and denote by $\mu_X$ the map $$\begin{array}{rcl} \mu_X : & \mathscr{P}(E) & \rightarrow [0;1] \\ & A & \mapsto P(\{X \in A\}) \end{array}$$ where $\{X \in A\} = \{\omega \in \Omega \text{ such that } X(\omega) \in A\}$.
Verify that $\mu_X$ is a probability on $E$.

Let $E$ be an infinite countable subset of $\mathbb{R}$. Let $(\Omega, \mathscr{A}, P)$ be a probability space. Let $X$ be a random variable defined on $(\Omega, \mathscr{A}, P)$ and taking values in $E$. We call the law of the variable $X$ and we denote $\mu_X$ the application where $\{X \in A\} = \{\omega \in \Omega \text{ such that } X(\omega) \in A\}$. Verify that $\mu_X$ is a probability on $E$.

Let $x, y, z$ be three distributions on $\mathbf{N}$. Prove the properties: $$\begin{gathered} 0 \leq d_{VT}(x, y) \leq 1 \\ d_{VT}(x, y) = 0 \Longleftrightarrow x = y \\ d_{VT}(y, x) = d_{VT}(x, y) \\ d_{VT}(x, z) \leq d_{VT}(x, y) + d_{VT}(y, z) \end{gathered}$$

Let $(x, y, u, v) \in \left(\mathcal{D}_{\mathbf{N}}\right)^4$. Show that, for all natural number $k$, $$|(x * y)(k) - (u * v)(k)| \leq \sum_{i+j=k} y(j)|x(i) - u(i)| + \sum_{i+j=k} u(i)|y(j) - v(j)|.$$

With the notation of the previous question, establish the inequality $$d_{VT}(x * y, u * v) \leq d_{VT}(x, u) + d_{VT}(y, v)$$

In this subsection, $n$ is a non-zero natural number and $Z _ { 1 } , \ldots , Z _ { n }$ are discrete random variables independent on a probability space $(\Omega , \mathcal { A } , \mathbb { P })$. For all $p \in \llbracket 1 , n \rrbracket$, we denote $R _ { p } = \sum _ { i = 1 } ^ { p } Z _ { i }$. Let $A$ denote the event $\left\{ \max _ { 1 \leqslant p \leqslant n } \left| R _ { p } \right| \geqslant 3 x \right\}$, and $A_1, \ldots, A_n$ as defined in Q13.
Show that we have $$\mathbb { P } ( A ) \leqslant \mathbb { P } \left( \left\{ \left| R _ { n } \right| \geqslant x \right\} \right) + \sum _ { p = 1 } ^ { n } \mathbb { P } \left( A _ { p } \cap \left\{ \left| R _ { n } \right| < x \right\} \right) .$$

Let $G _ { 0 } = \left( S _ { 0 } , A _ { 0 } \right)$ be a particular fixed graph with $s _ { 0 } = s _ { G _ { 0 } }$, $a _ { 0 } = a _ { G _ { 0 } }$, $s_0 \geq 2$, $a_0 \geq 1$. We now assume that $\lim _ { n \rightarrow + \infty } \left( n ^ { \omega _ { 0 } } p _ { n } \right) = + \infty$. For $k \in \llbracket 0 , s _ { 0 } \rrbracket$, we denote: $$\Sigma _ { k } = \sum _ { \substack { \left( H , H ^ { \prime } \right) \in C _ { 0 } ^ { 2 } \\ s _ { H \cap H ^ { \prime } } = k } } \mathbf { P } \left( H \cup H ^ { \prime } \subset G \right)$$ Show that $\Sigma _ { 0 } \leq \left( \mathbf{E} \left( X _ { n } ^ { 0 } \right) \right) ^ { 2 }$.

Let $G _ { 0 } = \left( S _ { 0 } , A _ { 0 } \right)$ be a particular fixed graph with $s _ { 0 } = s _ { G _ { 0 } }$, $a _ { 0 } = a _ { G _ { 0 } }$, $s_0 \geq 2$, $a_0 \geq 1$. We now assume that $\lim _ { n \rightarrow + \infty } \left( n ^ { \omega _ { 0 } } p _ { n } \right) = + \infty$. For $k \in \llbracket 0 , s _ { 0 } \rrbracket$, we denote: $$\Sigma _ { k } = \sum _ { \substack { \left( H , H ^ { \prime } \right) \in C _ { 0 } ^ { 2 } \\ s _ { H \cap H ^ { \prime } } = k } } \mathbf { P } \left( H \cup H ^ { \prime } \subset G \right)$$ Let $k \in \llbracket 1 , s _ { 0 } \rrbracket$; show that : $$\Sigma _ { k } \leq \sum _ { H \in \mathcal { C } _ { 0 } } \binom { s _ { 0 } } { k } \binom { n - s _ { 0 } } { s _ { 0 } - k } c _ { 0 } p _ { n } ^ { 2 a _ { 0 } } p _ { n } ^ { - \frac { k } { \omega _ { 0 } } }$$