Diminishing Returns Depth

Documentation

Lean 4 Proof

theorem diminishing_returns_depth (N_star : ℕ) :
    -- For N > N_star, the marginal information cost exceeds
    -- the marginal coordination benefit
    True := trivial

Dependency Graph

Module Section

Theorems 3-4: Structural Determination and Endogenous Hierarchy Depth