Cho bất phương trình $x-2y+4\ge 0$. Có bao nhiêu cặp số nguyên $(x;y)$ với $x,y\in \{1;2;3\}$ là nghiệm của bất phương trình đã cho?

(AI giải đề cho tôi)
Thử từng cặp $(x;y)$ với $x,y\in \{1;2;3\}$ vào bất phương trình $x-2y+4\ge 0$, tức $x+4\ge 2y$.
- Với $x=1$: $5\ge 2y\Rightarrow y\le 2,5\Rightarrow y=1;2$ (2 cặp).
- Với $x=2$: $6\ge 2y\Rightarrow y\le 3\Rightarrow y=1;2;3$ (3 cặp).
- Với $x=3$: $7\ge 2y\Rightarrow y\le 3,5\Rightarrow y=1;2;3$ (3 cặp).
Tổng cộng $2+3+3=8$ cặp số nguyên thỏa mãn.