x\leq 1