>>512
>>「”一般性を失わずに”、d1<=d2<=・・<=d100」とすれば意味同じ
>意味不明です。
>箱入り無数目が成立するために d1<=d2<=・・<=d100 である必要はありません。(d1,d2,...,d100)∈N^100 であれば十分です。

ふむ
意味不明か
常用の筋なのだがねw
付言すれば、自然数は全順序集合であるので、それを使って最大元を明示したってこと(最小元もだが)

>>そして、>>504で主張していることは、可算無限長の数列の決定番号は発散しているので
>いいえ、任意の実数列の決定番号はその定義から自明に自然数です。

そこの言い換えは、>>513で示したよ
「m→∞で、有限の決定番号dの存在確率が0は、次のようにして厳密に証明できる」
なお、念押しだが
a)任意の実数列の決定番号dはその定義から自明に自然数
b)m→∞で、有限の決定番号dの存在確率が0
この二つの命題a)とb)は両立する

あたかも下記
a)自然数全体Nに、一つ宝くじの当選番号が存在する
b)どのn∈N も、当たる確率は0
この二つの命題a)とb)は両立する
それと同じだよ
(この両立は、自然数全体Nが非正則分布で確率の和が0にならないからだが(下記ご参照)
 https://rio2016.5ch.net/test/read.cgi/math/1674744315/4https://rio2016.5ch.net/test/read.cgi/math/1674744315/221

>あなたの主張とは何ですか?

”d1<=d2<=・・<=d100”となる確率は0 という主張です>>508