ID:7xCRTGx1　が正しい
ID:hXMpQh61　は間違ってる

s0〜s1
s0〜s1〜s2
s0〜s1〜s2〜s3
…
s0〜s1〜s2〜・・〜sn
…
という「有限長列」は無限にある

一方
s0〜s1〜s2〜・・〜sn〜・・
は、最右のsxが存在しないので「無限長鎖」ではない

また、むりやりs∞を追加した
s0〜s1〜s2〜・・〜sn〜・・s∞
は、s∞の左側のsy〜が存在しないので
これまた「無限長鎖」ではない

ざんね〜ん