>>519
任意の2つの自然数が2を共通因数に持たない確率は巨視的に見れば1/2、
同様に3を共通因数に持たない確率は2/3、5を持たない確率は4/5、…。
これらの事象は巨視的に見れば独立なので、求める確率は
(1/2)*(2/3)*(4/5)*(6/7)*(10/11)*…、で0に収束する。
よって任意の2つの自然数が互いに素な確率は0。