>>373
つづき
（参考）
https://rms2005.org/subtext_data/pdf/0017_Wp5j/ms0017.pdf
sup と inf (ε-δ 入門 4) - 立命館大学数学学修相談会 2018 年 1 月 9 日
P9
定理 5.3. R の任意の部分集合 A(?= ?) について, A が上に有界ならば sup A(∈ R) が存在する.

定理 5.3 からは次の定理を得る.
定理 5.5. 上に有界な単調増加数列 {an} について
A = {an ∈ R | n = 1, 2, 3, ・ ・ ・ }
とおくと,
limn→∞ an = sup A
である.

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2
リーマン球面（リーマンきゅうめん、英語: Riemann sphere）は、無限遠点を一点追加して複素平面を拡張する一手法
(引用終り)