>>213
y_n = sup{x_m|m≧n} とおくと
(1) 十分大きなnに対して y_n＜z
(2) limsup{x_n}-z＞εをとると任意のpに対して y_p-ε＜x_nとなるnがとれる