Let p,q be real numbers with p<q in the order of the ordered field R, let [p,q] be the closed interval determined by p and q, and let N be the set of natural numbers, each n∈N being identified with its image in R under the canonical map.
1. (Uniform partitions) For every n∈N the points x0=p and
xi=p+inq−p(i=1,…,n)
form a partition Pn=(x0,x1,…,xn) of [p,q] with mesh ∣Pn∣=(q−p)/n. Moreover, for every real δ>0 there exists n∈N with (q−p)/n<δ.
2. (Order bounds) Let f:[p,q]→R be Riemann integrable on [p,q] and let m,M∈R satisfy m≤f(u)≤M for every u∈[p,q]. Then
m(q−p)≤∫pqf(u)du≤M(q−p).