18/12/04 18:44:56.27 ytTsiYMH.net
>>305
大丈夫
>近傍系Uの全てを走る場合の極限を取って小さな近傍ε(> 0) = 1/n'に対して
>f(1/(n'+1)) = g(1/(n'+1)), f(1/(n'+2)) = g(1/(n'+2)), ...
>が成り立っているんだったら反例になっていないんだが
"極限を取って"がキーワードだ
いくらでも小さいεが取れる（近傍系を考えれば）
そして、区間(0,ε）の中には、1/(n'+1),・・・,1/∞ *) が入って
区間(0,ε）の中には、可算無限長の数列（時枝記事では可算無限個の箱）が、常に含まれるよ
（ 注 *) 表現の簡素化のため∞を使った。正式には、極限）
以上