I disagree.
I realize that your posts were in response to another member and I applaud you for your in-depth understanding of your retirement variables, but it's important to remember that everyone's retirement equation is different. As the other poster mentioned, they will have two government pensions coming in during their retirement and to be honest, I see this scenario everyday and would NOT expect them to "need" their TSP funds at all. As I mentioned, everyone has different variables in their retirement equation. Keep in mind that most people won't need to replace their entire pre-retirement gross salary and most people with dual incomes aren't living check-to-check, so they don't need their entire take home salary either. In addition, many have planned to have no debt at retirement thereby reducing their monthly spending/expense amounts even further. I suspect some of these or all of these factors may play a part in that poster's equation.
Also just for informational purposes, keep in mind that there are many different job classifications that fall under FERS. One I'm quite familiar with is the Federal Law Enforcement Officer Series 1811 classification. This job has a mandatory retirement age of 57 and a completely different FERS pension calculation than your calculation above. Most of these employees that I'm familiar with retire between the age of 49-53, although some do stay until 57 if they choose to. They receive 1.7% for the first 20 years of employment and then 1% for each year over 20. Keep in mind they do contribute to their pension just like you; it's not free. A 25 year employee would have 39% of their high-3 and a 30 year employee would have 43%. Any military time can be purchased and added to those percentages. The supplement that was touched on above ranges from $13K-$20K per year depending on the employee's lifetime SS credits and earnings and bridges the gap until actual SS is taken (the supplement is not apart of or funded by SS). I'm quite familiar with many of these employees' TSP accounts and the majority of them will never touch the principal in their TSP at all, but will rather withdraw only the investment yield/earnings from their accounts. Section 72(t)(2) of the IRC will allow them to do this, PENALTY FREE, in what's known as "Substantially Equal Periodic Payments". Without getting too in-depth, the payments are based on a life expectancy table, but for most will average around 3% of their TSP balance. They can do this until they are able to withdrawal penalty free at 59 like everyone else. Most I'm familiar (if they've contributed the max each year and invested wisely) with have a TSP balance of $1MM - $2MM at retirement, so 3% (which should be less than the annual earnings on the account if a proper retirement investment strategy is followed) can be a significant amount of money even though it may not be needed for monthly expenses.
With that being said, please realize that their are many employees in the same job classification I mentioned above that will be nowhere near finding themselves in that retirement boat. Many have not planned properly and have not made wise financial decisions. I'm sure you can think of a few whom your familiar with in your employment.
Again, this is just for informational purposes to illustrate why many, not just FERS employees, will NOT need their 401K (TSP) and full SS. Everyone has different variables in their retirement equation and have implemented different strategies to obtain their goals.