19/08/10 07:57:56.09 AHc3nl9z.net
>>336 補足
現代数学では、無限を扱う手段を幾つも持っています
可能無限を、数列 (an)n∈Nで、nをどんどん大きくしていったときの数列 (an)の挙動とします
ある値aに収束する（ある定数rが存在して、r ＜ n の場合に、 (an)＝aが実現できている場合を含む）
又は
収束しないで、振動する場合、例えば三角関数で数列 (sin(n))n∈N とか、上極限と下極限(下記)で扱うこともできる
強いて言えば、「ある定数rが存在して、r ＜ n の場合に、 (an)＝aが実現できている」が”実無限”（ (an)＝aが実現できている）
これ以外が、”可能無限”でしょうかね（＾＾
繰返しますが、”実無限”は、現代数学の用語ではありません！
URLﾘﾝｸ(ja.wikipedia.org)
上極限と下極限
(抜粋)
数学において、数列 (an)n∈N の上極限（じょうきょくげん、英語: limit superior）および下極限（かきょくげん、英語: limit inferior）とは、nを無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の極限に（ある意味で）なりうる値を上と下からおさえるために使われる。
性質
数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。
次の性質がもっとも重要である。
「(an) が収束すること」と「上極限と下極限が一致すること」は同値である。
(引用終り)
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語
sup（上限）とinfの意味，maxとの違い 2016/05/18
(抜粋)
min は max の反対側，inf は sup の反対側なので，ここでは max,sup についてのみ解説します。
maxとsupの定義
略
supはmaxの一般化
ここからは sup の有用性をなんとなく実感してもらうために，sup の性質を2つ解説します。
sup の嬉しさ1：maxA が存在するなら supA=maxA
supは常に存在する
sup の嬉しさ2：A が上に有界なら supA は常に存在する。
max は存在するとは限りませんが，sup は常に存在するので，統一的に議論することができます。 sup の存在証明は解析学の教科書を参照して下さい（例えば高木貞治の解析概論）。
(引用終り)