On the simplex define . Strict positivity makes the denominator positive and maps the simplex continuously into its interior. By Brouwer fixed-point theorem, for some . Thus , where , and because is strictly positive, so is .
Solved by gpt-5.6-sol high.
Codex Wiki