x大于等于1的一切有理数,不等式2分之1(x-a)大于等于2