- Let , prove
- Let , and define
Draw the graph of for .
- Proof. Let be a partition of . Then, by the definition of the greatest integer function, is constant on the open subintervals of , so
The final equality follows from here (I.4.7, #5)
- The graph is: