>>424
> 無限大の極限を考える必要がある

同値類の定義からΔrの無限数列のシッポは全て0になることは確定しているから
極限を考えた場合の無限数列のシッポは全て0になって決定番号は無限大にはならない

最初にシッポの0をカットして有限数列にしても極限を考えるときに
ある番号nから先の「s'n-sn, ...」が再度全て0になる