>>550
> 定義は、いくら”ヘ理屈”をこね回して定理を作ったところで
スレ主もやっているじゃない

サイコロを投げて出る目が独立かどうかではなくて
同値類がどの確率変数で決定されるかは無限の扱い方で変わる

>>544
> (1)無限を直接扱う
数列anの長さをLとしたときに
a(L - k), a(L - (k + 1)), ... , a(L - 2), a(L - 1)
と数列の全ての項を直接扱える
この場合は数当て戦略は失敗する

> (2)有限の極限として間接に扱う
数列anの長さをLとしたときに
a(L - k), a(L - (k + 1)), ... , a(L - 2), a(L - 1)
と数列の全ての項を直接扱えない場合は
同値類はしっぽの無限個の確率変数に依存する

可算無限数列の長さは>>269-270にある「最小の極限順序数」であるから
> （>>408より）
> (1)と(2)とは、同値ですから
n→∞としても(1)と(2)は同値にならない