x<x-1<x1-x,