アルキメデスの原理
from 『数学書の読みかた』
アルキメデスの原理
$ \forall x\in \R,\exists n\in\Z,x<n.