Let be Riemann integrable on . Suppose that for all and that is continuous on . If somewhere in , prove that .

Proof. If we look at the most extreme case in which is everywhere except at then . E.g. for the "extreme

case" we define as

where and is a constant. So . Thus .

Is this correct?

If were not continuous then the above statement would be false, right?