$$\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?
$$\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?