theorem :: ASYMPT_2:22

for a being positive Real holds seq_a^ (a,1,0) is positive