伦教镇 老街:已知x>1,求证x>In(x+1)