当 x=9 ,解得 x=9 ,解得 x>=4 ,
所以原不等式的解集是 ｛x | x=4｝.