theorem Th40: :: IRRAT_1:40

for x, n being Real st n >= 2 & x = 1 / (n + 1) holds
x / (1 - x) < 1