已知x满足2^x大于等于256,且log2X大于等于1/2.求函数f(x)=log2(x/2)乘log根号2(根号x/2