How do we know that upper Riemann sum is greater than the area under a curve? Isn't it a bit circular?
What I mean is that we define area under a curve as a limit of upper and lower Riemann sums (assuming the respective limits are equal). But what motivates the definition of area under the curve is that we believe upper sums are always greater or equal to true area (less or equal in case of lower sums) - but we don't know what area is at this point (we define it later using Riemann sums), this is the circularity I mentioned.
Could anyone clarify this for me? It has to follow probably from some axioms of area. The first thing to do would be probably to show that the set of points under the graph is a subset of the set of points 'below' the upper Riemann sum.