Consumption, portfolio and life insurance rules are studied for an investor with an arbitrary but known distribution of lifetime with time-inconsistent preferences. Solutions are found for naive and sophisticated agents for the family of CARA and CRRA utility functions. Effects of non-constant...