Riemann_sums loading ...