Let be the finite-dimensional vector space of real polynomials of degree at most . For fixed ,
is a norm: if it vanishes, the polynomial vanishes on an interval and hence is the zero polynomial. Also
is a norm on . By finite-dimensional equivalence of norms, there is , depending only on and , such that . Therefore
The extreme value theorem supplies at which the last supremum is attained, and hence