s_1 = (1, 0, 0, 0, 0, 0, …),
s_2 = (1, 1, 0, 0, 0, 0, …),
s_3 = (1, 1, 1, 0, 0, 0, …),
…
すなわち、nを自然数としたとき、数列s_nを初項から第n項までを1、それ以降を0とする数列とする。
このとき、すべての自然数nについて、s_nはs_1の同値類に属すのは明らか。
では、lim[n→∞]s_n はs_0の同値類に属すか？

これに理由をつけて答えてよ