for a, b being Real
for f being real-valued Function st rng f c= [.a,b.] holds
f is bounded