>>351-352
「独立」を自然数の並びかえ(置換)と考えてみよう

a1=1, a2=2, ... , an=n, ... の任意の有限個を入れ替えて新しい無限数列を作った場合
(cf. > 確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.)
数列を「アタマ」と「シッポ」に分けると「シッポ」は必ず無限数列になりさらに「シッポ」を取り除いた
「アタマ」は有限数列になるのでその長さも決定できる

可算無限個の異なる実数(有理数)を任意の順番で並べたものは可算無限個の自然数を並びかえたものとみなせるが
この場合は「アタマ」=有限数列かつ「シッポ」=無限数列になるとは限らない(つまり時枝解法不成立)

可算無限個の異なる実数(有理数)から数列を作った場合だと無限数列をa1, a2, ..., an, ... の形で表した時点で
任意の順番ではなくて時枝解法が成立する順番に限定されている
(cf. > ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい)