已知不等式logx(2x^2+1)