abs(2x+2)/(x^2-1) >= 1