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}$, hàm số mũ đồng biến nên $x-5\ge -3⟺x\ge 2$. Nghiệm nguyên dương nhỏ hơn 10: $x\in \{2,3,4,5,6,7,8,9\}$, gồm 8 giá trị.