Bất phương trình $x+y\le 0$ có bao nhiêu nghiệm?

(AI giải đề cho tôi)
Bất phương trình $x+y\le 0$ là bất phương trình bậc nhất hai ẩn, tập nghiệm là nửa mặt phẳng bờ $x+y=0$ (kể cả bờ), chứa vô số cặp $(x;y)$, ví dụ $(0;0),(-1;0),(0;-1),(-1;-1),\dots$ đều thỏa mãn. Vậy bất phương trình có vô số nghiệm.