Dvoretskys stochastic approximation theorem