已知x满足不等式log1/2(x)≥log1/2(2-x),