(integrate sqrt(10000) (2x/(1+x^2))^10000.0 from x=0 to infinity) and sqrt(2. pi)