5
$\begingroup$

$$\prod_{n=1}^{\infty}{\frac{2}{\sqrt{\pi}}\int_0^n e^{-x^{2}} \mathrm{d}x} \approx 0.83874 $$

Is it a known constant? I couldn't find anything about it. Do you know ways to calculate the value efficiently?

  • 2
    An interesting(?) but unfortunately totally irrelevant observation: Googling 0.83874 yields about 12600 hits.2012-11-06

1 Answers 1

4

I don't know the constant, but when it comes to calculating the product, we might note that it can be written $$\prod_{n=1}^\infty\Bigl(1-\frac{2}{\sqrt{\pi}}\int_n^\infty e^{-x^2}\,dx\Bigr).$$ When $n$ grows large, partial integration yields $$\int_n^\infty e^{-x^2}\,dx=\frac{e^{-n^2}}{2n}+\frac12\int_n^\infty\frac{e^{-x^2}}{x^2}\,dx,$$ which gives you a reasonable handle on the integral on the left. Taking the log of the infinite product, you get a sum in which this will give you a somewhat decent approximation for the tails of the sum.

There are many details to fill in, but off the top of my head this outlines how I would go about computing the product.

  • 0
    Could you tell me, how you did this? $$\int_n^\infty e^{-x^2}\,dx=\frac{e^{-n^2}}{2n}+\frac12\int_n^\infty\frac{e^{-x^2}}{x^2}\,dx$$2012-11-06
  • 0
    @Gunnar: Write the integrand as $xe^{-x^2}\cdot x^{-1}$ and do a partial integration, integrating $xe^{-x^2}$ to get $-\frac12e^{-x^2}$ and differentiatiing $x^{-1}$ to get $-x^{-2}$.2012-11-06