x^ two *log(five hundred and twelve ,(four -x))>=log(two ,(x^ two - eight *x+ sixteen))
x squared multiply by logarithm of (512,(4 minus x)) greater than or equal to logarithm of (2,(x squared minus 8 multiply by x plus 16))
x to the power of two multiply by logarithm of (five hundred and twelve ,(four minus x)) greater than or equal to logarithm of (two ,(x to the power of two minus eight multiply by x plus sixteen))
x2*log(512,(4-x))>=log(2,(x2-8*x+16))
x2*log512,4-x>=log2,x2-8*x+16
x²*log(512,(4-x))>=log(2,(x²-8*x+16))
x to the power of 2*log(512,(4-x))>=log(2,(x to the power of 2-8*x+16))