Lemmas 1 Through 8 | part of Stochastic Approximation and NonLinear Regression | MIT Press books | IEEE Xplore