Suppose is Riemann integrabe on . Let be any number in , and let be any real number different from . Define a function as follows: . Prove that is Riemann integrable on and that .
Proof. Let . Choose . Let be a partition of with . Choose arbitrarily such that . Then .
So . Thus . Then . Hence is Riemann integrable on and .
Is this correct?