CES Game Critical Ratio

def proved Curvature Roles

Documentation

Lean 4 Proof

def cesGameCriticalRatio (ρ : ℝ) : ℝ :=
  if ρ > 0 then (2 : ℝ) ^ (-(1 / ρ)) else 0

Dependency Graph

Used by

cesGameCriticalRatio_bounds cesGame_classification cesGameCriticalRatio_eq

Location

thesis/CESProofs/CurvatureRoles/Strategic.lean:98

Module Section

Strategic independence of CES (Paper 1, Sections 7-8):

In the same file

manipulationPayoff ces_log_supermodular strategic_independence_qualitative strategic_bound cesGamePayoff cesGameCriticalRatio_eq cesGameCriticalRatio_bounds cesGame_classification