Intuition behind the proof of Theorem 4.

As μ is increased, the polytope cuts through the ribosome allocation constraint , with |α| = λ shown in blue. Exactly at the maximal growth rate, the intersection of the polytope with |α| = λ is reduced to one vertex (black dot), i.e., one EGS.