because lifetimes are finite, we no longer have to assume ρ >n + (1 − θ)g to ensure that lifetime utility does not diverge.
