Generalizing to the K-user case, the K-dimensional capacity region for the
((K, 1), 1) MAC is bounded by 2K − 1 hyperplanes, each corresponding to
a nonempty subset of users. The capacity region is a generalized pentagonal
region known as a polymatroid [78]. The sum-rate capacity is achieved by
having all users transmit with full power and using successive interference