Statement of the Main Theorem

This file contains the statement of the main theorem about symmetric log-concave functions on weak compositions.

def BalancedVectors.StatementOfTheorem : Prop

Main Theorem Statement. For any symmetric log-concave function D on weak compositions E(n,d):

• There exists a balanced vector b such that D(b) ≥ D(e) for all e
• There exists a concentrated vector c such that D(c) ≤ D(e) for all e

Equations

• One or more equations did not get rendered due to their size.