theorem :: ASYMPT_1:59

for n being Element of NAT st n >= 3 holds
n ! > n by Lm53;