I've been studying the paper [An estimate of the remainder in a combinatorial central limit theorem](https://doi.org/10.1007/BF00533704) by Bolthausen, which proves the Berry Essen theorem using Stein's method:


Let $\gamma$ be the absolute third moment of a random variable $X$, and let $X\_{i}$ be iid with the same law as $X$. Let $S\_{n}=\sum\_{i}^{n}X\_{i}$, and suppose $E(X)=0$, $E(X^{2})=1$.


The goal is to find some universal constant $C$ such that $|P(S\_{n} \leq x) - P(Y\leq x)| \leq C\frac{\gamma}{\sqrt{n}}$.


Let $\delta(n,\gamma) = \sup\_{x}|P(S\_{n} \leq x) - P(Y\leq x)|$. We would like to bound $\sup\_{n}\frac{\sqrt{n}}{\gamma}\delta(n, \gamma)$.


In the proof the following bound is derived:


$\delta(n,\gamma) \leq c\frac{\gamma}{\sqrt{n}}+\frac{1}{2}\delta(n-1,\gamma)$ where $c$ is a universal constant. Noting that $\delta(1,\gamma) \leq 1$, the author claims that the result is implied. However when I try to use induction to get the result the constant $C$ increases without bound $n$ grows. If anyone has studied this paper before, I would love to hear from you.



Induction arising in proof of Berry Esseen theorem
Let $a\_n = \frac{\sqrt{n}}{\gamma} \delta \left( n, y \right)$. The bound you have stated implies that
$$a\_n \leq c + \frac{2}{3} a\_{n - 1}$$
where I replaced $\frac{\sqrt{n}}{\sqrt{n - 1}}$ with $\frac{4}{3}$ which is certainly true for $n > 2$. Therefore,
$$a\_n \leq c + \frac{2}{3} a\_{n - 1} \leq c \left( 1 + \frac{2}{3} \right) + \left( \frac{2}{3} \right)^2 a\_{n - 2} \leq \cdots \leq c \frac{1}{1 - \frac{2}{3}} + a\_2$$
which is bounded as required.


