24/02/18 20:26:28.87 SIEeH6mZ.net
>>641
お望み通り、正確に書いて差し上げた
ID:Eujd26JJ 君の完全敗北だよ
南無阿弥陀仏
定理A
∀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)) とする)
と
定理B
∀s(i)∈R^N.∃r(i)∈R^N,d(i)∈N.∀D(i)∈N.(D(i)>=d(i) ⇒ si[D(i)]=ri[D(i)])