I want to prove that certain function $F:\Delta\to\mathbb{R}$ is non-negative (or find some counterexample). Where $\Delta$ is the $n$ dimensional simplex.
The details are in the attached document, I include some ideas that i've been working on (I have been trying to prove that the function has a minimum in a point $x^*$, where $F(x^*)=0$).