ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Convention N738 on D5808: Real sequence asymptotic lower bound growth class

Notation for basic real sequence asymptotic lower bound growth class

If $g : \mathbb{N} \to [0, \infty)$ is an D4686: Unsigned real sequence, we denote its D5808: Real sequence asymptotic lower bound growth class by $\Omega(g)$.