Riemann integration notes