Similar to:
Convergence of operator Riemann sums