>>55
それだけだと実数の公理だから証明するようなものじゃない
適当な仮定が必要