max |ln(1+e^x)- x/(1-e^(-x/ln(2)))|