theorem :: ASYMPT_1:55

for n being Element of NAT st n >= 2 holds
n ! > 1 by Lm50;