Tkojar/Sandbox/Bounded convergence theorem for Riemann integrals