T.M. Cover and J.A. Thomas
where
and
, and the supremum is over all
,
. It
is enough to extremize
.
Moreover, for every permutation
,
Hint: Construct a random variable X' such that
. Let U
be an uniform(0,1] random variable and let Y = X' + U, where X'
and U are independent. Use the maximum entropy bound on Y to obtain the
bounds in the problem.