>>795
極限値はロピタルの定理より b^2/a^2とlog(b/a)になる。
不等式はlog(x) < x^2 になる。
微分法でx^2-log(x)はx=1/√2のとき、極小値1/2(1-log(1/2))=1/2(1+log(2))>0