Cho ab, là các số thực dương thỏa mãn 1/2 log 2 của a = log 2 của 2/b

Câu hỏi :

Cho ab, là các số thực dương thỏa mãn $\frac{1}{2}{\log }_{2}a={\log }_2\frac{2}{b}$. Hỏi giá trị nhỏ nhất của biểu thức sau $P=4a^3+b^3-4{\log }_2\left(4a^3+b^3\right)$ là: