How Much Should I Invest If I Have a Pension?