\frac{1}{2}\int_0^{+\infty}\frac{dx}{1+x}