theorem :: NUMBER08:34

for f being real-valued Function
for r1, r2 being Real st f <= r1 & r1 <= r2 holds
f <= r2