已知x满足不等式2(log1/2x)^2+7log1/2x+3