9-x\le5