theorem Th38: :: SIN_COS:39

for k, n being Nat st n <= k holds
n ! <= k !