Start=lower integral Target=Bounded interval/Real function/Lower integral as supremum of step integrals from below/Definition