5.7 pg/ml (normal, 1.4-4)) in the serum, together with an inappropriately nonsuppressed TSH level of 4.7 mU/ml (normal, 0.4-4).