Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-224/3/c/solution

The previous part gives for uniform . To attain the bound, take uniform on , choose an independent error whose mass function attains , and set . Then is uniform, , and
Thus and equality holds. This is the rate-distortion function of a uniform source under Hamming distortion.

New to topics? Read the docs here!