http://www2.math.kyushu-u.ac.jp/~hara/lectures/07/realnumbers.pdf
これのp43の
x_nが存在したはずだということに思い当たる
ここの意味が分かりません
どのようにしてz<(x_n)^(j)を導くのでしょうか？