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