for f being real-valued Function st f is bounded_below holds
rng f is bounded_below