Skip to main content
2 of 7
added 1236 characters in body
Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229

$\newcommand{\al}{\alpha} \newcommand{\be}{\beta} \newcommand{\de}{\delta} \newcommand{\De}{\Delta} \newcommand{\ep}{\varepsilon} \newcommand{\ga}{\gamma} \newcommand{\Ga}{\Gamma} \newcommand{\la}{\lambda} \newcommand{\si}{\sigma} \newcommand{\Si}{\Sigma} \newcommand{\thh}{\theta} \newcommand{\om}{\omega} \newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\F}{\mathcal{F}} \newcommand{\E}{\operatorname{\mathsf E}} \newcommand{\Var}{\operatorname{\mathsf Var}} \renewcommand{\P}{\operatorname{\mathsf P}} \newcommand{\ii}[1]{\operatorname{\mathsf I}\{#1\}} \newcommand{\tf}{\widetilde{f}} \newcommand{\tV}{\tilde{V}} \newcommand{\tW}{\tilde{W}}$

It is easy to see (say, using the formulas for the variance and excess kurtosis for the beta distribution) that, if $Y$ has the beta distribution with parameters $\al,\be>0$, then $\mu_4(Y):=\E(Y-\E Y)^4\ll\al\be/(\al+\be)^5$. So, if $X_1,\dots,X_n$ are iid uniformly distributed on $[0,1]$, then for any real $x>0$ \begin{equation} \P(\sup_{1 \le i \le n} \De^{(i)} \ge x) \le \sum_1^n \P( \De^{(i)} \ge x) \le \frac{1}{x^4}\sum_1^n \mu_4(X^{(i)}) \ll \frac{1}{x^4}\sum_1^n \frac{n^2}{n^5} \to0, \tag{1} \end{equation} as desired.

\medskip \hrule \medskip

More generally, suppose now that $Y_1,\dots,Y_n$ are iid r.v.'s with values in a finite interval and a pdf $g$ bounded away from $0$. Then the function $\psi:=G^{-1}$ inverse to the cdf $G$ of $Y_1$ is Lipschitz. Also, we can write $Y_i=\psi(X_i)$ and $Y^{(i)}=\psi(X^{(i)})$, with $X_1,\dots,X_n$ as before. So, for $V:=X^{(i)}$, an independent copy $\tV$ of $V$, $W:=\psi(V)=Y^{(i)}$, and $\tW:=\psi(\tV)$, and some real constant $L>0$, we have the Lipschitz condition $|W-\tW|\le L|V-\tV|$ and hence \begin{multline*} \mu_4(Y^{(i)})=\E(W-\E\tW)^4=\E\E(W-\tW|W)^4 \le\E\E\big((W-\tW)^4|W\big) \\ =\E(W-\tW)^4\le L^4\E(V-\tV)^4\le8 L^4\mu_4(V)=8 L^4\mu_4(X^{(i)}); \end{multline*} here we used (a conditional version of) Jensen's inequality and the inequality $(a-b)^4\le8(a^4+b^4)$ with $a=V-\E V$ and $b=\tV-\E\tV=\tV-\E V$. So, for any real $x>0$, similarly to (1) we have
\begin{equation*} \P(\sup_{1 \le i \le n} |Y^{(i)} - \E Y^{(i)}| \ge x) \le \frac{1}{x^4}\sum_1^n \mu_4(Y^{(i)}) \le8 L^4\frac{1}{x^4}\sum_1^n \mu_4(X^{(i)}) \ll \frac{1}{x^4}\sum_1^n \frac{n^2}{n^5} \to0, \end{equation*} as desired.

Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229