2026
CLM-INFO-003205= sum_{i in S} R_i <= I(X_S;Y|X_{S^c},Q), all SEXACT VALUEThe cited theorem establishes sum_{i in S} R_i <= I(X_S;Y|X_{S^c},Q), all S under the current specification; this does not assert universal empirical attainability.Source: The capacity region of a channel with two senders and two receivers — Discrete memoryless multiple-access capacity region ↗
PROVEN