Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
In the growing range of Lemma 2, set , , and let be independent Bernoulli variables of means . Put , so . Uniformly there,
The same estimates hold after removing any one summand; a deterministic shift does not affect them. Berry–Esseen consequently gives normal-approximation error in either case.
Source: published PDF, p. 5, equations (3)–(5) and the coordinate calculation. Integral/variation bounds replace the source's per-slab lower estimates, which can have empty integer intervals. Absolute third moments, as printed in the published version, are required.
Bears on. Problem 297.
Proof
For fixed let for , with . It is unimodal, with maximum and total variation of that order. The unit-interval Riemann comparison therefore gives
For , bounds the integral above and below by positive constants depending only on . Since uniformly, the error is smaller than the main term. Thus these sums are . For later use, instead gives the upper bound , because the integral has only a logarithmic divergence at zero and eventually.
For ,
Sum this divided by and use (1) for the variance. For a Bernoulli variable of mean ,
Equation (1) with proves the third-moment bound. The variance of one summand is at most . Removing it from a variance bounded below by a positive multiple of preserves that lower bound for large , uniformly in the index. The third-moment upper bound can only decrease. Independence remains. Substitute these estimates into Lemma 3 to get error .