ln(x+1)≤x的几个推论及其应用