Bất phương trình (pi/4)^(1-cosx) lớn hơn hoặc bằng 1 có bao nhiêu nghiệm

Câu hỏi :

Bất phương trình ${\left(\frac{\mathrm{\pi }}{4}\right)}^{1-\cos x}$ có bao nhiêu nghiệm thuộc đoạn [0;1000]