>>343
x^16 ± x +1 = (x^8-1/2)^2 + (x^4 -1/2)^2 + (x^2-1/2)^2 + (x±1/2)^2 > 0
ということ?