theorem :: SERIES_5:27

for a, b, c, d being positive Real st b > a & c > d holds
c / (c + a) > d / (d + b)