theorem Th38: :: IRRAT_1:38

for k, n being Nat
for x being Real st x = 1 / (n + 1) holds
(n !) / (((n + k) + 1) !) <= x ^ (k + 1)