Carroll and Kimball (1996) prove that the consumption function is concave if infinitely-lived risk-averse households have a utility function which exhibits Hyperbolic Absolute Risk Aversion (HARA), face income uncertainty, ...