Case study: Boosting retirement income with downsizer contributions