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

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} \ge {(\sqrt{2} )}^2$