Problem 3
Let and be non-zero real polynomials such that for some real . If and , prove that .
Step 5 of 5: Take the maximum and finish
Detailed analysis
The preceding cases all establish . Since for the non-zero polynomial , dividing by gives , equivalently under the source's normalized coefficient notation.