theorem :: ASYMPT_2:25

for a being Nat st 1 < a holds
not seq_a^ (a,1,0) is polynomially-bounded