theorem NLM3: :: ASYMPT_3:8

for c being non empty positive-yielding XFinSequence of REAL
for x being Nat holds 0 < (polynom c) . x