ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3127 on R4583:
P3127
This result is a particular case of R3262: Dilations of unsigned tail probability converge to zero. $\square$