theorem :: COUSIN:11

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