负x小于等于一