Start=upperintegral Target=Bounded interval/Real function/Upper integral as infimum of step integrals from above/Definition
