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