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