6The main results also hold for logarithmic utility which is the limit as   ρ → 1  but incorporating the logarithmic special case in the proofs is cumbersome and therefore omitted.