Convergence to the time average by stochastic regularization