17It would perhaps be better to call it the ‘utility-induced borrowing constraint’ as it follows from the assumptions on the utility function (in particular, limc↓0u(c)= -∞ ); for example, no such constraint arises if utility is of the (implausible) Constant Absolute Risk Aversion form.