>>84
（厳密にはΩをp進完備化したZpの無限直積と考える必要があるが）
ΩにおいてZは稠密だが測度0だ。
そこでΩにおける「互いに素」をZにおける性質の拡張として定義したうえで問題の確率を求めると
ζ(2)が得られる。
正確な定式化は
ttp://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1240-23.pdf
とかを見よ（定義3〜定理2あたり）

なお考察の核になる空間が測度0というパターンは確率過程論ではおなじみで、
Wiener空間におけるCameron-Martin空間をskeletonと言うのと似ている。