integral of (J1(x)/x)^2 from x=0 to x=3.8317