Positive polynomial in two real variables
I was suggesting a possible line of attack: examime what properties a continuous function must have if it doesn't attain its lower bound, then prove a polynomial can't have those polynomials.
But it sounds like you already have a line of attack... how are you proposing to use Sylvester's theorem?
(I don't recall the theorem; a quick google search doesn't provide anything that seems relevant)
