解不等式:log以x为底1/2为对数大于1