We study second-order criticality when the step size is constant. 2nd convergence relies on the center-stable manifold theorem [1]}, which we recall in cs.
It describes the local structure of a smooth local diffeomorphism around a fixed point.
