「限りなく広くした範囲から」任意に選んだ2数が互いに素である確率

$n$以下の自然数のうち$k$の倍数である物の個数は、$\lfloor \frac{n}{k} \rfloor $個である。
すなわち、$n$以下の自然数から任意の数を選んだ時$k$の倍数である確率は$\frac{1}{n}\lfloor\frac{n}{k}\rfloor$.

任意に選んだ$2$数$m_1,m_2\leq n$の、最大公約数が$k$である確率を$Q_{n,k}$とする。このとき$P_n=Q_{n,1}$

「$m,n$の最大公約数が$k$である」$\iff$「$m,n$が$k$の倍数」かつ「$\frac{m}{k},\frac{n}{k}$が互いに素」である。
すなわち$$Q_{n,k}=\frac{Q_{n,1}}{n^2}\lfloor \frac{n}{k} \rfloor^2 \cdots (1)$$

また$k$について確率の総和は$1$になってほしいので
$$\sum^\infty_{k=1}Q_{n,k}=1$$
になってほしいが、$n< k$のとき$\lfloor\frac{n}{k}\rfloor=0$のため、上の式は
$$\sum^n_{k=1}Q_{n,k}=1$$
となる。また、(1)から
$$\sum^n_{k=1}\frac{Q_{n,1}}{n^2}\lfloor \frac{n}{k} \rfloor^2=1$$
$$Q_{n,1}\sum^n_{k=1}\frac{1}{n^2}\lfloor \frac{n}{k} \rfloor^2=1$$
$Q_{n,1}=P_n$から
$$P_n\sum^n_{k=1}\frac{1}{n^2}\lfloor \frac{n}{k} \rfloor^2=1$$
$$P_n=\frac{1}{\sum^n_{k=1}\frac{1}{n^2}\lfloor \frac{n}{k} \rfloor^2}$$
$\frac{n}{k}-1\lt\lfloor\frac{n}{k} \rfloor\leq\frac{n}{k}$から
$$\frac{1}{k}-\frac{1}{n}\lt\frac{1}{n}\lfloor\frac{n}{k} \rfloor\leq\frac{1}{k}$$
$$\frac{1}{k^2}+\frac{1}{n^2}-\frac{2}{nk}\lt\frac{1}{n^2}\lfloor\frac{n}{k} \rfloor^2\leq\frac{1}{k^2}$$
$$\sum^n_{k=1}(\frac{1}{k^2}+\frac{1}{n^2}-\frac{2}{nk})\lt\sum^n_{k=1}\frac{1}{n^2}\lfloor\frac{n}{k} \rfloor^2\leq\sum^n_{k=1}\frac{1}{k^2}$$
$$\sum^n_{k=1}\frac{1}{k^2}+\sum^n_{k=1}\frac{1}{n^2}-\sum^n_{k=1}\frac{2}{nk}\lt\sum^n_{k=1}\frac{1}{n^2}\lfloor\frac{n}{k} \rfloor^2\leq\sum^n_{k=1}\frac{1}{k^2}$$
$$(\sum^n_{k=1}\frac{1}{k^2})+\frac{1}{n}-\frac{2}{n}\sum^n_{k=1}\frac{1}{k}\lt\sum^n_{k=1}\frac{1}{n^2}\lfloor\frac{n}{k} \rfloor^2\leq\sum^n_{k=1}\frac{1}{k^2}$$
$(左辺の第三項は調和数/n)$
ハサミうちの原理から
$$\lim_{n\to\infty}P_n=\lim_{n\to\infty}\frac{1}{\sum^n_{k=1}\frac{1}{n^2}\lfloor\frac{n}{k} \rfloor^2}=\frac{1}{\lim_{n\to\infty}\sum^n_{k=1}\frac{1}{n^2}\lfloor\frac{n}{k} \rfloor^2}$$
$$=\frac{1}{\frac{\pi^2}{6}}=\frac{6}{\pi^2}$$
したがって$$\lim_{n→∞} P_n=\frac{6}{\pi^2}\blacksquare $$