Clearly nobody is in that situation. If you have any money at all in 401k, you almost surely have paid significant amount into Social Security, which pays out r

Clearly nobody is in that situation. If you have any money at all in 401k, you almost surely have paid significant amount into Social Security, which pays out retirement benefits independently of whatever you might or might not have in 401k account.