>>679
>つまり、それ証明されていないよね

証明すべき定理が間違ってますけど

>X=(X_1,X_2,…)をR値の独立な確率変数とする

ここが間違ってます

Xは確率変数ではありません

s^1=(s^1_1,s^1_2,･･･)
s^2=(s^2_1,s^2_2,･･･)
･･･
s^100=(s^100_1,s^100_2,･･･)
は固定です　つまり動きません

確率変数はs^iのiです

数列s^iから代表元s'^i及び決定番号d^iが求まります
さらにd^i以外の決定番号の最大値D^iも求まります

証明すべき定理は
P(s^i_{D^i}=s'^i_{D^i})>=99/100
です

もし、d^1〜d^100の中でd_i＞D_iとなるiが存在するなら
そのようなiは1つしかなく、s^i_{D^i}=s'^i_{D^i}が成立しないのは
その時に限られるので、確率は99/100です
仮に、d^1〜d^100の中で最大値となるd_iが二つ以上存在すれば
どのiについてもd_i<=D_iですから必ずs^i_{D^i}=s'^i_{D^i}が
成立します、つまり確率1です

したがって定理は証明されました