已知4*x-9×2*(1+x)+32≤0,求函数y=(log2(x)-1)×(log2(x)-3