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