New Release! アルキメデスの原理を拡充。

アルキメデスの原理を拡充。
「上に有界ではない」の定義を付加。