Sphere-covering and measure concentration as source coding theorems

We state and solve a general version of the rate-distortion problem. We show that its answer contains, as corollaries: (i) Stein's lemma in hypothesis testing; (ii) Shannon's (1959) lossy source coding theorem; and (iii) new converses to measure-concentration inequalities.