Implementation and checks of the theory for recursions that appear in the AI-SGD procedure.