実数の部分集合に対して、その部分集合が
下に有界ならば、その部分集合の下限には
最大値が存在する。