theorem :: LIOUVIL1:4

for n being Nat st n >= 1 holds
2 <= (n + 1) !