2026
CLM-INFO-003214<= H(X|Y) <= h2(Pe) + Pe log2(|X|-1)UPPER BOUNDThe cited theorem establishes H(X|Y) <= h2(Pe) + Pe log2(|X|-1) under the current specification; this does not assert universal empirical attainability.Source: Elements of Information Theory, second edition — Fano inequality error floor ↗
PROVEN