Bounded interval/Real Function/Step integral from below/Definition