x \le 1