Quote:
Originally Posted by k_sze
*sigh*
I did end up getting  by substituting  for  , but only after simplifying  all the way down, until there is no more  or  , otherwise I get two powers of 2 with no obvious way to combine them.
So now the remaining hurdle is to prove that  .
Yay
|
I finally worked out the proof for

. Apparently using Jensen's inequality is supposed to be the simple way, but I simply don't get Jensen's inequality, so I used some brute force calculus (first and second derivatives, find the minimum, etc.)