Gọi $S$ là tập các số nguyên dương $a$ để bất phương trình...

Bất phương trình đã cho tương đương

Ta có các trường hợp (TH) sau
TH1. . Do nguyên nên . Khi đó bất phương trình tương đương
Do nên hiển nhiên bất phương trình có không quá nghiệm nguyên. Bất phương trình có ít nhất nghiệm nguyên khi và chỉ khi
Vậy .
TH2. . Do nguyên nên . Khi đó bất phương trình tương đương
Dẫn đến bất phương trình có ít nhất và không quá nghiệm nguyên, khi và chỉ khi
Suy ra .
Vậy và tổng các phần tử của là .