1/x < x^2+1