log1/2x => -3
という不等式が分かりません。