y \le x