>>353
√x >= (1/2)(x - 3) … [a]

まず、x >= 0

i) 0 <= x <= 3
(右辺) >= 0、(左辺) <= 0 より明らかに[a]は成立。

ii) x > 3
両辺ともに正なので2乗して、分母を払って
4x >= (x - 3)^2
x^2 - 10x + 9 <= 0
(x - 1)(x - 9) <= 0
1 <= x <= 9
よって、3 < x <= 9 で[a]は成立

以上より 0 <= x <= 9