>>454
論文では、対数関数の凹性というものを用いていない、関数log(x)/xを用いて
証明している。AIは書いてもいないことを書いて反証もどきにしているという
だけのことだが。

>全称命題を背理法を用いて証明する際、全称命題の否定は存在命題になります。
こんな事は分かっている。私は証明のどこに問題があるのかと聞いている。