title: Ky Fan inequality (game theory)
text: # Ky Fan inequality (game theory)
  
  In mathematics, there are different results that share the common name of the Ky Fan inequality. The Ky Fan inequality presented here is used in game theory to investigate the existence of an equilibrium. Another Ky Fan inequality is an inequality involving the geometric mean and arithmetic mean of two sets of real numbers of the unit interval.
  
  ## Statement
  
  Suppose that $E$ is a convex compact subset of a Hilbert space and that $f$ is a function from $E\times E$ to $\mathbb {R}$ satisfying
  
  * $x\mapsto f(x,y)$ is lower semicontinuous for every $y\in E$ and
  * $y\mapsto f(x,y)$ is concave for every $x\in E$.
  
  Then there exists $e\in E$ such that
  
      $\sup _{y\in E}f(e,y)\leq \sup _{y\in E}f(y,y).$
  