22/11/27 18:36:35.24 b8aAHfMg.net
実際、
(☆) ∀s∈[0,1]^N s.t. η(A_s) ≧ 99/100.
が既に成り立っているのだから、もし A が可測ならば、フビニの定理から
P(A)＝∫_Ω 1_A(ω) dP ＝ ∫_{ [0,1]^N×I } 1_A((s,i)) d(μ_N×η)
＝ ∫_{ [0,1]^N } ∫_I 1_A((s,i)) dη dμ_N
＝ ∫_{ [0,1]^N } ∫_I 1_{A_s}(i) dη dμ_N
＝ ∫_{ [0,1]^N }η(A_s) dμ_N
≧ ∫_{ [0,1]^N } 99/100 dμ_N ＝ 99/100
すなわち P(A) ≧ 99/100 となるので、この計算経路なら、
「必ずｎ列目を選ぶ」戦術の成功確率を算出する必要がない。
もちろん、実際には A は非可測なので、
"「必ずｎ列目を選ぶ」戦術の成功確率を算出する必要はあるか？"
という話まで進まないのだが。