As q -, I-, it is visually convincing that A,(X) converges to the area under the
curve, and (probably in an appendix) an actual proof that this definition is
equivalent to the standard Riemann sum definition is no more difficult than any
other portion of the rigorous treatment of Riemann sums.