>>725の「農」は和の記号「Σ」の文字化け
まあ、有界な負の値の式を上から評価しているから
<−Σ_{k=1,2,…,n}(log(((a_k)^2+1))^{(a_k)^2}/(((a_k)^2))^{(a_k)^2))
と評価出来れば、細かい数値の評価はしなくても勝算ありと分かる

>>719-722は取り消し