Let f: [a, b] → R be integrable and non-negative, and let Af = {(x, y): a < x < b and 0 < x < f (x)}. Show that Af is Jordan measurable and has area ∫ ba f.