アルキメデスの原則
2つの正の数
$ \varepsilon, a
に対して:
$ n\varepsilon > a
なる自然数
$ n
が必ず存在する