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 Then there exists $$e\in E$$ such that
 * $$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$$.
 * $$\sup_{y\in E}f(e,y)\le \sup_{y\in E} f(y,y).$$