x-1>abs(x)