Compact interval/Real function/Riemann integrable via step functions/Definition
Riemann integrable function (compact interval)
Let denote a compact interval and let
denote a function. Then is called Riemann-integrable if the upper integral and the lower integral of exist and coincide.