int_0^1 1000000000 (1/4 - (1/pi^2) (arctan(10000000000 x)))^2 dx