◆ わからない問題はここに書いてね ２４１ ◆

整列集合 X において、切片 X(a)=｛x∈X | x<a｝が非加算集合となる a∈X が存在するとき、a'∈X を以下のようにとる。
a' = min｛a∈X | X(a)：非加算｝
このとき、Xにおける点列 (x[n])(nは自然数) が a' に収束するならば、次が成り立つことを示せ。
∃n'(自然数) such that n≧n' ⇒ x[n] = a'

よろしくお願いします。