>>335
α>βと仮定してみると
α>ζ>βとなるζをとることができる。
すると、
ζ<An
ζ>Bm
となる数列の項AnとBnが存在することになる。(nとmを十分大きくとる)
これは矛盾である。