実は、有限モデルの反例には、ウラがあります。 ネタバレすれば、下記 Sergiu Hart氏のPDFに記載のRemark定理＊） ＊）（“Remark”とあって、定理とうたっていないが、これ定理です（どっかで聞いたセリフだな（＾＾ ） ） スレ44 rio2016.2ch.net/test/read.cgi/math/1506848694/463 より 463 自分返信：現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日：2017/10/16(月) (抜粋) Sergiu Hart氏のPDF www.ma.huji.ac.il/hart/puzzle/choice.pdf にも下記がある P2 の最後 “Remark. When the number of boxes is finite Player 1 can guarantee a win with probability 1 in game1, and with probability 9/10 in game2, by choosing the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.”とある
補足： 箱の数が「有限」の場合、的中確率は、game1で（[0、1]はこの区間の任意の実数）の確率0とgame2で（0〜9までの整数）の確率1/10になる。 つまり、普通の確率論の通りになると。 なので、有限（the number of boxes is finite）モデルが、存在すれば、それ即ち反例になる
