Bounded interval/Continuous function/Equidistant lower integral/Lower integral/Exercise