Bounded interval/Real function/Upper integral as infimum of step integrals from above/Definition