Số nghiệm nguyên của bất phương trình ${\left(\frac{1}{2}\right)}^{x^2-7}>\frac{1}{4}$ bằng bao nhiêu?

(AI giải đề cho tôi)
Vì cơ số $\frac{1}{2}\in (0;1)$, bất phương trình ${\left(\frac{1}{2}\right)}^{x^2-7}>\frac{1}{4}={\left(\frac{1}{2}\right)}^2$ tương đương $x^2-7<2$, tức $x^2<9$, suy ra $-3<x<3$. Các nghiệm nguyên: $x\in \{-2,-1,0,1,2\}$, tổng cộng 5 nghiệm.