¹⁹Carroll and Kimball (1996) prove that the consumption function must be concave for almost all commonly-used assumptions about risk and utility functions.