x²-9>abs(x-1)