>>321
無限列 X^N の尻尾同値類と
選択公理によって得られる
尻尾同値類の代表列、
無限列 X^N の決定番号は
無限列 X^N を N に置き換えるだけ

有限個のNからランダムに1個を選んだ際
選ばなかったものより大きな数を選んでしまう
確率を求めるのが、箱入り無数目の確率計算