x^2+1>0