Upper and Lower (Darboux) Integrals and Riemann Integrability

Build the integral from sup/inf over partitions: the lower integral pushes up from below, the upper pushes down from above. They always satisfy lower ≤ upper, and f is integrable exactly when they are equal.