(log2(4)+log2(x))*(log4(4)-log4(x^2))>=2
(2+log2(x))*(1-log2(x))>=2
2-2*log2(x)+log2(x)-(log2(x))^2>=2
-log2(x)-(log2(x))^2>=0
log2(x)+(log2(x))^2
(log2(4)+log2(x))*(log4(4)-log4(x^2))>=2
(2+log2(x))*(1-log2(x))>=2
2-2*log2(x)+log2(x)-(log2(x))^2>=2
-log2(x)-(log2(x))^2>=0
log2(x)+(log2(x))^2