theorem :: NEWTON06:68

for b, c being positive Nat holds c * (frac (1 / (b + c))) < 1