²⁶Carroll and Kimball (1996) prove that the consumption function must be concave for a general class of stochastic processes and utility functions – including almost all commonly-used model assumptions except for the knife-edge cases explicitly chosen to avoid concavity.