For every integer $k \geqslant 2$, we set $\zeta(k) = \sum_{n=1}^{+\infty} n^{-k}$. For $s > 1$ fixed, we define a probability distribution $\mu_s$ on $\mathbb{N}^*$ by setting, for $n \in \mathbb{N}^*$, $$\mu_s(\{n\}) = \frac{1}{\zeta(s) n^s}.$$ Let $s \geqslant 2$ be an integer. Let $X_n^{(1)}, X_n^{(2)}, \ldots, X_n^{(s)}$ be $s$ mutually independent random variables all following the uniform distribution on $\{1, 2, \ldots, n\}$, and let $Z_n^{(s)} = X_n^{(1)} \wedge \ldots \wedge X_n^{(s)}$ be their gcd. Deduce that the sequence $(\mu_{Z_n^{(s)}})_{n \in \mathbb{N}}$ converges in $\mathscr{B}(\mathscr{P}(\mathbb{N}^*), \mathbb{R})$ to $\mu_s$.
For every integer $k \geqslant 2$, we set $\zeta(k) = \sum_{n=1}^{+\infty} n^{-k}$.
For $s > 1$ fixed, we define a probability distribution $\mu_s$ on $\mathbb{N}^*$ by setting, for $n \in \mathbb{N}^*$,
$$\mu_s(\{n\}) = \frac{1}{\zeta(s) n^s}.$$
Let $s \geqslant 2$ be an integer. Let $X_n^{(1)}, X_n^{(2)}, \ldots, X_n^{(s)}$ be $s$ mutually independent random variables all following the uniform distribution on $\{1, 2, \ldots, n\}$, and let $Z_n^{(s)} = X_n^{(1)} \wedge \ldots \wedge X_n^{(s)}$ be their gcd.
Deduce that the sequence $(\mu_{Z_n^{(s)}})_{n \in \mathbb{N}}$ converges in $\mathscr{B}(\mathscr{P}(\mathbb{N}^*), \mathbb{R})$ to $\mu_s$.