実数全体の集合において、空でなく、且つ下に有界な整数の集合の
下限が整数になるというのはどうして?