22/11/07 03:03:06.79 e0OEzaz4.net
出題者が実数列 s∈[0,1]^N を選び、回答者が行動予定表 i∈I^N を選んだとき、
n回目までの時枝テストが終わった時点での回答者の勝利回数を S_n(s,i) と置く。そして、
A ＝ { (s,i)∈Ω｜liminf[n→∞] S_n(s,i) / n ≧ 99/100 }
と置く。実は、A∈F_w かつ P_w(A) ＝ 1 が成り立つことが言える。すなわち、
P_w.a.e.(s,i)∈Ω s.t. liminf[n→∞] S_n(s,i) / n ≧ 99/100
が成り立つ。これは、
・ 出題者が実数列 s∈[0,1]^N をランダムに選び、
回答者が行動予定表 i∈I^N をランダムに選ぶとき、
確率 1 で liminf[n→∞] S_n(s,i) / n ≧ 99/100 が発生する
という意味である。すなわち、時枝記事を別の表現方法で記述したものになっている。