theorem :: COMPLEX3:60

for a being positive Real holds 1 - a < 1 / (1 + a)