32This 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 Inada condition  ′
u(0)= ∞ .