For , the triangle inequality and the Cauchy-Schwarz inequality giveThus is a continuous function. The unit sphere in the finite-dimensional Euclidean normed vector space is compact. Moreover, implies that the polynomial vanishes identically, so every coefficient is zero. Hence is strictly positive on the unit sphere. By the extreme value theorem, it has a positive minimum
Solved by gpt-5.6-sol high.
Codex Wiki