19/08/24 01:10:26.90 IB6jV204.net
>>716
>”d_Xとd_Yが自然数でありさえすれば、P(a≧b)≧1/2 は否定し様が無い”という直観に基づく議論は
>成立たないと、Alexander Pruss氏にしろ、Tony Huynh氏にしろ、確率論の専門家さんにしろ、彼らが言っていることだよ
以下の証明のどこが直観頼りと？
∀d_X,∀d_Y∈N とし、d_X,d_Y のいずれかをランダムに（一様分布で）選択した方を a、他方を b と置く。
一様分布の定義から
P(a=d_X)=1/2・・・(1)
d_X>d_Y のとき
a=d_X ⇔ a>b だから (1)より 1/2=P(a=d_X)=P(a>b)=P(a>b)+P(a=b)=P(a≧b)・・・(2)
（P(a=b)=0 に注意）
d_X<d_Y のときも同様に P(a≧b)=1/2・・・(3)
d_X=d_Y のとき
a=b だから P(a≧b)=1・・・(4)
自然数の順序の性質から
d_X>d_Y or d_X=d_Y or d_X<d_Y
のいずれかが成り立つので、(2),(3),(4)より P(a≧b)≧1/2■