Bounded interval/Real function/Lower integral as supremum of step integrals from below/Definition