lim(x->0+)(li(1-x)-(1-x)ln(ln(1/(1-x))))