x\geq n