x\geq a