Tính tổng tất cả các nghiệm nguyên dương của bất phương trình $2^{x-2}\le 8$.

(AI giải đề cho tôi)
Bất phương trình $2^{x-2}\le 8=2^3$. Vì cơ số $2>1$ nên $x-2\le 3\iff x\le 5$. Các nghiệm nguyên dương là $x\in \{1,2,3,4,5\}$. Tổng $=1+2+3+4+5=15$. Kết quả trùng với đáp án nguồn (đề 102, Câu 1: 15).