x\geq 6