Theorem. Let be a real-valued function that is Riemann integrable on . For a fixed , let be the function where the domain of is appropriately chosen so that is in the domain of if and only if is in the domain of . Then is Riemann integrable on and .
Proof. Let . Choose such that . So basically we consider ? And then show that ?