Có tất cả bao nhiêu giá trị nguyên dương của x thỏa mãn bất phương

Câu hỏi :

Có tất cả bao nhiêu giá trị nguyên dương của x thỏa mãn bất phương trình $8^x.2^{1-x^2}>{\left(\sqrt{2}\right)}^{2x}$