plot floor[|x+1|-|x|]>= x^2