>>254
で?

>>255
デテキントの切断と上限に収束するってやつは同値なんだからさー。
片方だけで考える必要あるんか?