Tìm tất cả các đa thức `P(x) in ZZ[x]` với hệ số cao nhất dương thỏa mãn rằng tồn tại một tập vô hạn các số nguyên dương `P` mà với mọi `a,b in P` phân biệt thỏa mãn điều kiện sau:

`f(a) - f(b) | f(a^2 + f(b)) - f(b^2 + f(a))`

Đồng thời, với mọi số nguyên dương `n in P`, số các phần tử của `P` nhỏ hơn `n` không vượt quá `f(n)`.