27This 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) = ∞.