>>874

>なお、game2でも、フルの選択公理は使わないとしても、可算選択公理（あるいはそれに類似の公理）は使いますよね
>でも、可算選択公理では、ソロヴェイ先生によれば、ビタリのような非可測集合は出来ない（下記）

そうですね。一般的には。
ただ、この問題の場合、開けた循環列を参照すればいいだけで
可算選択公理すら必要ないんじゃないかと思う。ｗｗ

独立性について。
1) しっぽを開けた時点で循環節は確定する。
2) 開けた部分で循環節が終わっていれば数当てに失敗する(負けになる)。
3) 循環節の終わりが確定しない場合、しっぽの先頭部分が循環節の部分列の様に見える。

このとき、"部分列"の長さによって、直前も循環節の確率が変わると考えられる。
つまり独立ではないと。