已知x大于0,求证根号1+x小于1+x/2