>>848
>しかし、なぜ「箱入り無数目」で
>列を無限につくったら失敗するか？
>
>それは決定番号が無限個あったら、
>その中の最大値が存在するとは言えないから
時枝記事ではε-Nで正当化出来るように書かれている
一般項がa_n=nの数列{a_n}が正の無限大+∞に発散することをε-Nで書くと
任意のε＞0に対して或る正整数n(ε)が存在して n＞N(ε) のとき a_n=n>ε となる
「n＞N(ε) のとき」における正整数nは固定されているから、
>「ε＞0 を任意に取る.数列 {n} は正の無限大+∞に発散し,
>　或る正整数 n(ε) が存在して n＞N(ε) のとき a_n=n>ε となる.
>　さて, n＞N(ε) なる正整数nを任意に取って 1〜ｎ のいずれかをランダムに選ぶ.
>　例えばkが選ばれたとせよ.
>　s^kの決定番号が他の列の決定番号どれよりも大きい確率は 1/ｎに過ぎない.
>　よって, 箱の中を当てる側が勝つ確率 p_n は p_n=1-1/n.
>　n＞N(ε) なる正整数nは任意に取っているから, ε>0 に対して正整数 M(ε) を M(ε)=N(ε) とおけば,
>　任意の n＞Ｍ(ε) なる正整数nに対して箱の中を当てる側が勝つ確率 p_n は |p_n-(1-1/n)|<ε を満たす.
>　ε>0 は任意であるから, 正の実数εを走らせれば,
>　箱の中を当てる側が勝つ確率 p_n は n→+∞ のとき p_n→1.
>　即ち箱の中を当てる側が確率 lim_{n→+∞}(1-1/n)=1 で当たることは分かる.」
とすれば時枝記事の有限バージョンの内容は n→+∞ のときにも正当化されるように書かれている