Log4 x 3 log4 1 4x 2. Log2 log2 4. log2 x2 4 3log2 x+2x 2 2. log2(4^x+4)=x+log2(2^x+1-3). log2(x))^2 - log2(x^22) >= (12 log2(4) + log4x)^2.