A 73-Year-Old Feared Her RMD Would Drain Her IRA and Tax Her Social Security. The IRS Formula Is Built So It Won’t.