But for this post - I am really only looking at pension vs employer contributions and what those get you. I think the 401k matches are not sufficient as the employer retirement contribution, is all I'm saying!
I also think the math is off. The key is time value of money. 5 years didn't get you $3K/yr for life -- it got you $3K/yr for life
starting in another 20-30+ years. If you want a fair comparison, you have to look at the present value of that money. If you're 30 years out, the present value is more like $375/yr.* And you'd need less than $10K invested to generate $375/yr. So if your match for 5 years has totaled up to $10K or more, you're better off with the match.
Where you are absolutely dead-on is on the formula many pensions used, which meant the value of the pension dramatically escalated in the later years. Two problems with that, though:
1. It required you to stay put for 30+ years to take advantage of it. If you left, you got the much lower early-years value.
2. It was subject to change without notice, and when they changed it, you were entitled to only the benefits that you had vested as of that very moment -- not all of that future higher value you had planned on. They did that at my DH's work, btw. He was lucky enough to still get an actual pension, which I couldn't believe. But a few years in, they changed over to a "cash value" approach, which works much more like a 401(k) in terms of growth in value. He's still better off than not having one (particularly since he was grandfathered into some older contribution rates that no longer exist for newer employees), but that whole "giant leap in value over the last 5-10 years" doesn't exist -- basically, after 20 years, his salary has grown 3-4x, but his pension value at retirement is pretty much the same as when he started. Which, again, is fine, since we never counted on it in our retirement projections anyway. But if we had been like my dad, who never worried about saving since he had a pension, we'd be in a world of hurt.
*I am using Rule of 72, meaning that if you get around 7% return, your money should double every decade, and 30 years gets you 3 doublings -- $375 to $750, $750 to $1500, and then $1500 to $3000.