On efficiently financing retirement