已知x大于0,求证更号下一加x小于1加二分之x.