20This is an implication not just of the CRRA utility function used here but of the general class of continuously differentiable utility functions that satisfy the usual Inada condition  ′
u(0) = ∞ .