Có bao nhiêu số nguyên dương y để tập nghiệm của bất phương trình

Câu hỏi :

Có bao nhiêu số nguyên dương y để tập nghiệm của bất phương trình $\left({\log }_{2}x-\sqrt{2}\right)\left({\log }_{2}x-y\right)<0$ chứa tối đa 1000 số nguyên.