Số nghiệm nguyên thuộc $\left[-2024;2024\right]$ của bất phương trình ${\log }_2\left(2^x+1\right)>2+x$ là

(AI giải đề cho tôi)
Bất phương trình tương đương $2^x+1>2^{x+2}=4\cdot 2^x\iff 3\cdot 2^x<1\iff x<{\log }_2\frac{1}{3}=-{\log }_{2}3\approx -1,585$. Vậy nghiệm nguyên là $x\le -2$. Trong đoạn $[-2024;2024]$, các nghiệm nguyên từ $-2024$ đến $-2$ nên có $2024-2+1=2023$ nghiệm.