>>697
任意の実数の部分集合が、±∞を含めれば必ず上限・下限を持つことが言えれば
上極限・下極限の定義から明らかだろ。