It is enough to treat an increasing function; replacing by handles a decreasing one. Let be the common refinement of dissections and . Refinement raises lower Darboux sums and lowers upper ones, so
For the uniform dissection , monotonicity gives the telescoping difference
This can be made smaller than any , so the Riemann integrability criterion proves that is integrable.
The integral lies between the lower and upper sums, and the displayed sum in the question is the right-endpoint upper sum. Hence the generally valid sharp estimate is
The strict inequality printed in the question is false for arbitrary monotone functions: if for and , the two sides of (1) are both .
For the final claim, write
Since is continuous on a compact interval, it is uniformly continuous. Uniformly for ,
After the substitution , summing the uniform errors gives
The right-hand sum is a Riemann integral, so the fundamental theorem of calculus yields
Let be continuous. If it were unbounded, one could choose with . The Bolzano-Weierstrass theorem gives a subsequence , but continuity would then give , contradicting unboundedness.
Now let . Choose with . A convergent subsequence and continuity give at its limit. Applying the same argument to shows that the infimum is attained. This proves the extreme value theorem on a closed bounded interval.
The function
is continuous and bounded, but attains neither its infimum nor its supremum . For the second example, enumerate the rationals in as and set
Every nondegenerate interval contains infinitely many rational numbers, hence some with arbitrarily large ; therefore is unbounded on every such interval.
For the running extrema, compactness lets us write
The function is uniformly continuous on . Given , choose such that whenever . If and , every new value with is at most . Since ,
Interchanging handles the other order. Applying this argument to proves continuity of as well.
Finally fix and put . For each positive integer , there must be some with . Otherwise, for some the continuous function would satisfy on the interval . By the intermediate value theorem, would have a constant sign there. The values
would then increase or decrease by at least at every step, contradicting boundedness of . Thus and
A Lagrange top is an axially symmetric rigid body with one point fixed, centre of mass a distance along its symmetry axis, principal moments , mass , and Euler angles in gravity .
The cyclic coordinates give and ; the energy is the third integral. Eliminating from and setting , with , yields after multiplication by ; all denominators cancel and is cubic.
This is Poisson regression with independent counts and log mean . The residual deviance on degrees of freedom has , and the plotted curve tracks the data, so there is no evidence of poor fit.
The fitted doubling time is days. A 95% interval for the growth coefficient is , corresponding to doubling times days. Seven days, whose rate is about , is unsupported.

There are unlisted articles, also show them or only show them.