formula_121は有限であるからformula_123は上に有界な非空集合である。