32MST’s proof is for convergence of the consumption policy function directly, rather than of the value function, which is why their conditions are on u′ , which governs behavior.