5-x>=0