Thread: upper / lower integral proof

I am trying to prove the following lemma:

For any bounded function on , it is always the case that , where and . For clarification, is the collection of all possible partitions of the interval .

This seems trivial, but I am not sure how to construct a solid proof. There are a few lemmas I am temped to use, but when I try to use them, I basically just end up restating the problem statement.

Any guidance would be great,

thanks

It follows from the fact that if , then .

Originally Posted by Black

It follows from the fact that if , then .

That fact alone is proof enough...?

Originally Posted by Danneedshelp

That fact alone is proof enough...?

Clearly. What aspect of it are you finding difficult?

If , then surely .