>>972
アルキメデスの公理では駄目ですか?