>>642
いいタイミングで来ましたよっと
前者は略証つけてるのに...

＞これらはすべてαに属する
属さないものが存在すると、それ以降はすべて属さない
（これは数列が単調増加なのと切断の定義(1)からわかる）
なので最小のものをとると（ ）に書いたとおり、
その2つを足したらzになって背理法の前提に反する
＞これはα=Q
∀p∈Qに対して∃m∈N s.t. p≦u-mz、定義(1)より