アルキメデスの原理が実数の連続性から従うことは
解析概論の中に書いてあるんだが、わかりにくいね。