Does this sequence of Riemann sums converge to ∫ (a to b) f(x) dx?

Yes, this is the definition of the integral. It's well-defined by choosing the minimum in each interval. If not you'd have to be more careful about which partitions you chose.