Bất phương trình $2^{x-5}\ge \frac{1}{8}$ có bao nhiêu nghiệm nguyên dương nhỏ hơn 10?

(AI giải đề cho tôi)
$2^{x-5}\ge \frac{1}{8}=2^{-3}\Rightarrow x-5\ge -3\Rightarrow x\ge 2$. Nghiệm nguyên dương nhỏ hơn 10: $x\in \{2,3,\dots ,9\}$, gồm 8 giá trị. Khớp đáp án nguồn: 8.