Let {Pi } be a sequence of real (Laurent) polynomials each of which has no negative coefficients, and suppose that f is a real polynomial. Consider the problem of deciding whether
for all integers k, there exists Nsuch that the product of polynomials
(*) Pk+1. Pk+2.....Pk+N ·ƒ has no negative coefficients.