theorem :: COMPLEX3:61

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