アルキメデスの性質（実数）
from アルキメデスの原理
アルキメデスの原理
$ \forall x\in \R,\exists n\in\Z,x<n.
実数