I was checking my results of an exercise online. The Maximum of my function was (1): $$\frac{4^{\frac{-1}{\log(2)}}}{\log^2(2)}$$
Now I wolframalpha tells me the alternate form is (2): $$\frac{1}{e^2\log^2(2)}$$
I feel like this form could be useful for future problems sometimes, but I absolutely have no clue how to get there. Could someone help me converting the maximum (1) into the alternate form (2)?
Assuming $\frac{4^{\frac{-1}{\ln2}}}{\ln^2(2)}$ = $\frac{1}{e^2\ln^22}$
$\frac{4^{\frac{-1}{\ln2}}}{1}$ = $\frac{1}{e^2}$
${4^{\frac{1}{\ln2}}}$ = ${e^2}$
$\frac{\ln4}{\ln2} $=2$\ln e$
$e$= $\frac{\ln 4}{2\ln2}$ =1
Reverse the above steps, we can prove from (1) to (2).