ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4584 on D2858: Random variable right tail
Dilations of tail probabilities converge to zero