theorem :: ASYMPT_1:12

not seq_n^ 2 in Big_Omega (seq_n^ 3)