<s>[INST] Minimum value of function $f(x)=x+\log_2(2^{x+2}-5+2^{-x+2})$ out of 5 options Minimum value of function $f(x)=x+\log_2(2^{x+2}-5+2^{-x+2})$ out of 5 options
A : $\log_2(1/2)$
B : $\log_2(41/16)$
C : $39/16$
D : $\log_2(4.5)$
E : $\log_2(39/16)$
I just... don't know how to approach this.
 [/INST] $$x=\log_2(2^x)$$
$$f(x)=\log_2[2^x(2^{x+2}-5+2^{-x+2})]=\log_2[2^{2x+2}-5\cdot2^x+4]$$
Now $4\cdot2^{2x}-5\cdot2^x+4=(2^{x+1})^2-2\cdot2^{x+1}\cdot\dfrac54+\left(\dfrac54\right)^2+4-\left(\dfrac54\right)^2$ $=\left(2^{x+1}-\dfrac54\right)^2+4-\left(\dfrac54\right)^2$ $\ge4-\left(\dfrac54\right)^2$
</s>