Gọi $S$ là tập hợp các số nguyên dương $x$ sao cho tồn tại số thực...

Ta có: ( Do ) nên bất phương trình sẽ có nghiệm đúng với mọi
Xét bất phương trình: .
Xét
Nên đồng biến trên khoảng
Nên có nghiệm thì . Do nguyên dương nên .
Vậy có giá trị nguyên dương thỏa mãn.