Miền nghiệm của bất phương trình $x+y-3<0$ chứa bao nhiêu điểm có tọa độ nguyên dương $(x;y)$?

(AI giải đề cho tôi)
Bất phương trình $x+y-3<0$ tức $x+y<3$. Điểm có tọa độ nguyên dương nghĩa là $x,y\in {\mathbb{Z}}^{+}$ ($x\ge 1,y\ge 1$). Với $x=1$: $y<2$ nên $y=1$ → điểm $(1;1)$. Với $x\ge 2$: $y<3-x\le 1$, không có $y\ge 1$ thỏa mãn. Vậy chỉ có duy nhất điểm $(1;1)$ thuộc miền nghiệm. Đáp án A.