²This result is a direct implication of the concavity of the consumption function that Carroll and Kimball (1996) prove.