theorem :: ASYMPT_1:14

not seq_n! 0 in Big_Theta (seq_n! 1)