What’s the true value of the civil service pension though?

Rough calculation (probably wrong):

40 years of pensionable pay with an average of let’s say 65k. Divided by 80. Equals pension income of £32k yearly between retirement and death, inflation protected.

To buy an equivalent annuity would cost about £1 million. So it’s like saving an extra £25k per year over 40 years. (Although, I suppose you have the option to grow that more through investment.)

So this salary is probably competitive with an 80k private sector total comp package?