2/π∫[0,1] 1/(1+x) dx