Cho bất trình $x+3y\le 2$. Khẳng định nào sau đây là đúng?

(AI giải đề cho tôi)
Bất phương trình $x+3y\le 2$ là bất phương trình bậc nhất hai ẩn, miền nghiệm là nửa mặt phẳng bờ $x+3y=2$ (kể cả bờ), chứa vô số cặp $(x;y)$, ví dụ $(0;0)$, $(2;0)$, $(0;\frac{2}{3})$ đều thỏa mãn. Do đó nó có vô số nghiệm. A sai vì có nhiều hơn một nghiệm; B sai vì $(0;0)$ là nghiệm; D sai vì tập nghiệm là một miền trong mặt phẳng Oxy chứ không phải khoảng $(-\infty ;2]$ trên $\mathbb{R}$.