A stopping rule for stochastic approximation. (October 2015)