Proposition: A polynomial sequence of degree n is dominated by [xn]x:
forall n in N, a: Nn -> R: (sum0 <= i <= n axi) = On(xn).
Only the highest exponent matters.