Rate-distortion function