The rate-distortion function, and source coding theorem.

• 率失真函数和信源编码定理。