不等式 x-1/2