5-x\ge{0}