²The connection between constraints and consumption concavity has been explored in more specific settings. See e.g. Park (2006) for CRRA utility, Seater (1997) for the case where time-discounting equals the interest rate, Nishiyama and Kato (2012) for quadratic utility, and Holm (2018) for the case with infinitely-lived households with HARA utility.