x大于等于4 x大于a