- 452 名前：１３２人目の素数さん mailto:sage [2016/09/01(木) 21:37:45.42 ID:N04tXaIF.net]
- >>416
＞s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
この n0 は s と s' に依る
s と s' を動かせば、いくらでも大きい n0 を得ることができるが、s と s' を決めれば自然数 n0 が決まり、自然数なのだから当然有限
