“…Virtually the same argument implies that L n (µ, ψ, R) ≥ D(µ, ψ, R) for all n and ψ. Nevertheless, we write out the proof in Appendix H since, strictly speaking, the proof in [11] is only valid if ψ is discrete with finite (Shannon) entropy or it has a density and finite differential entropy. (b) The proof of the converse part (Lemma 2) is valid for any randomized quantizer whose output Y n satisfies Y i ∼ ψ, i = 1, .…”