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