3

Suppose $f(z)$ is a discrete probability distribution with space $S$. Suppose $g(z),h(z)>0$ for all $z \in S$. Is it true that

$$\prod_{z \in S}{g(z)^{f(z)}}+\prod_{z \in S}{h(z)^{f(z)}} \leq \prod_{z \in S}{[g(z)+h(z)]^{f(z)}}?$$

My first impulse was to use Jensen's Inequality, but to no avail. This inequality is part of a much larger theorem I am trying to prove. Thanks for your help!

Mike 105
  • 143

1 Answers1

2

This is just the superadditivity of the (generalized) geometric mean. My answer here shows how to prove it when $f$ is a uniform distribution on $n$ points. The general case follows in the same way, using the generalized AM-GM inequality instead of the usual AM-GM inequality.