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.