theorem Th37: :: NEWTON:37

for k being Nat holds k / (k + 1) < 1