Technical appendix: on financing retirement with an aging population