ThmDex – An index of mathematical definitions, results, and conjectures.
F11574
Formulation 0
Let $g : \mathbb{N} \to [0, \infty)$ be an D4686: Unsigned real sequence.
The asymptotic upper bound growth class with respect to $g$ is the D11: Set \begin{equation} \left\{ f : \mathbb{N} \to \mathbb{R} \mid \exists \, C > 0 \text{ and } n_0 \in \mathbb{N} : \forall \, n \geq n_0 : |f(n)| \leq C g(n) \right\} \end{equation}