>>544
＞（数列を）”自然数から数への関数”と言い直すと
＞εδ→εN が 導けるだろう

ダメじゃね（笑）

N∪{∞}における開近傍をどう定義するか、が肝心

もちろん、天下りで「n以上の数全部」としてもいいが
なんで、そうするのがいいかを感じさせるには
距離付けを導入するのが簡単

そういうことまで考えてるんだよ
１とは違うんです（福田康夫か(笑)）