not seq_n! 0 in Big_Theta (seq_n! 1)