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

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

Convention N739 on D5809: Real sequence strict asymptotic upper bound growth class

Notation for basic real sequence strict asymptotic upper bound growth class

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