中間値の定理からアルキメデスの原理導けるんじゃなかったっけ?