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

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}$?