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) = .