A theorem showing that rates exceeding channel capacity are impossible, not just asymptotically but for all block lengths.