∫[0, ∞] (logx)/(1+e^x) dx