Quote:
Originally Posted by joseqft
I´ve been struggling with this problem too. Essentialiy we have to prove that the second expression in the min expression
.
is a valid as explains magdon in
this means that the inequality
(1)
must be satisfied.
I have been finding upper bounds to the right hand side of (1), using the following tricks
if (the case must be proved apart).
,
, because (this is not the seven in the exponent) and
.
Then we arrive at an ASO expression that can be compared easily with the left hand side of (1) proving that this inequality is valid.

I think you will find mistake
it is not hard