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.)