theorem :: COUSIN:9

for a, b being Real st a < b holds
(a + b) / 2 < b