Lemma

The rate distortion function $R(D)$ is a nonincreasing, convex function of $D$.