theorem :: ASYMPT_1:59

for n being Nat st n >= 3 holds
n ! > n by Lm53;