Proof

Proof. Apply the scalar bound to every outcome indicator with the displayed coordinate radius. A union bound over the $2m$ coordinates gives simultaneous coordinate errors at most $r_j$ with failure probability at most $\alpha$. Then $d_{\mathrm{TV}}(P_j,{\hat{P}}_j)\le m{r}_j/2$. The two triangle inequalities prove the interval.