The Berry–Esseen constant

Description of constant

Let $X_{1},X_{2},\dots$ be i.i.d. real random variables with $\mathbb E X_{1} = 0$, $\mathrm{Var}(X_{1})=1$, and finite third absolute moment

\[\beta_{3} := \mathbb E|X_{1}|^3 < \infty.\]

Let

\[S_n := \frac{X_{1}+\cdots+X_{n}}{\sqrt n},\qquad F_n(x):=\mathbb P(S_n\le x),\]

and let $\Phi$ denote the standard normal distribution function.

We define $C_{19}$ to be the smallest constant such that the classical Berry–Esseen inequality

\[\Delta_n := \sup_{x\in\mathbb R}\bigl|F_n(x)-\Phi(x)\bigr| \ \le\ C_{19}\,\frac{\beta_{3}}{\sqrt n} \qquad\text{for all } n\ge 1\]

holds for all such distributions of $X_{1}$.

This constant is also called the absolute constant $C_{0}$ in the Berry–Esseen inequality (for i.i.d. summands).

Known upper bounds

Bound Reference Comments
$0.82$ [Z1967] Zolotarev-type smoothing inequalities; [Z1967] also gives $0.9051$ for the general (non-i.i.d.) case.
$0.7975$ [vB1972] Fourier-analytic refinement.
$0.7655$ [Shi1986]  
$0.7056$ [She2006]  
$0.5129$ [KS2009] From the structural bound $\Delta_{n} \le 0.34445(\beta_{3}+0.489)/\sqrt n$.
$0.4785$ [Tyu2009]  
$0.4748$ [She2011]  
$0.4690$ [She2013]  

Known lower bounds

Bound Reference Comments
$c_{E} := \dfrac{\sqrt{10}+3}{6\sqrt{2\pi}} \approx 0.4097321837$ [E1956] Esseen’s lower bound; achieved asymptotically by (centered/normalized) Bernoulli sums.

Additional comments

References

Acknowledgements

Prepared with ChatGPT 5.2 Pro.