A 30-year-old woman is found to have a low serum thyroxine level after being evaluated for fatigue. Five years ago she was treated for Graves’ disease with radioactive iodine. The diagnostic test of choice is