x\le 7