>>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,ε）の中には、可算無限長の数列（時枝記事では可算無限個の箱）が、常に含まれるよ
（ 注 *) 表現の簡素化のため∞を使った。正式には、極限）

以上