解不等式(a^2+1)^x+3