integral from x=0 to x=1 of 4/(x^2+1) dx