Tail distribution function:
\[ \overline{F}(x) \equiv \Pr[X>x] = 1 - F(x) \]
Heavy-tailed distributions are probability distributions whose tails are not exponentially bounded:
\[ \forall \lambda>0,\quad \lim_{x \to \infty} e^{\lambda x} \overline{F}(x) = \infty \]
There are three important subclasses of heavy-tailed distributions:
All subexponential distributions are long-tailed.
Jayakrishnan Nair, Adam Wierman, Bert Zwart. The Fundamentals of Heavy-Tails: Properties, Emergence, and Identification.