x\geq 7