x\geq1