One thing that should be obvious is that , since for all intervals in any partition you choose, will always equal . Proving that is a matter of choosing a clever partition. I don't think the "standard" partition (i.e. the one you're using) will work. You want a partition such that the total length of the intervals containing the can be made as small as desired.