ThmDex – An index of mathematical definitions, results, and conjectures.
Notation for real sequence asymptotic upper bound growth class
If $g : \mathbb{N} \to [0, \infty)$ is an D4686: Unsigned real sequence, we denote its D5807: Real sequence asymptotic upper bound growth class by $O(g)$.