>>629
d<=D なら予測が成功する、というのが>>490の(7)

di<=Diとなる列が100列中99列、というのは以下の定理A

定理A

任意のｎ個の自然数d(1)~d(n)に対して
自分以外のn-1個の自然数の最大値をD(1)~D(n)と表すと
d(i)＞D(i)となる自然数d(i)はたかだか一個である

∀d(1),…,d(n)∈N.∨(i,j=1~n,i<j) ¬((d(i)>D(i))∧(d(j)>D(j)))

(注：D(i)=max(d(1),…,d(i-1),d(i+1),…,d(100)) とする)