If $p(x)$ is a discrete probabilistic density function with finite support, one could construct another discrete probabilistic density function proportional to $p(x)[1-p(x)]$ with a corresponding partition function (toto make the new function integratesum to 1)$1$. It(Rule out the degenerate case where $p(x_0) = 1$ for a unique $x_0$.)
It seems that the new constructed p.d.f has a bigger or equal entropy than $p(x)$?. How to prove that? Suggestions are welcomed for any references or direct solution.