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