log1/2 x≥1 x等于多少