limes of x- ln(e^x+1)- ln(2)