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

Câu hỏi :

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