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

Có bao nhiêu số nguyên dương y để tập nghiệm của bất phương trình log2x−2log2x−y<0 chứa tối đa 1000 số nguyên.