Let g:N→[0,∞) be an D4686: Unsigned real sequence.
The strict asymptotic upper bound growth class with respect to g is the D11: Set
{f:N→R∣∀ε>0:∃n0∈N:∀n≥n0:|f(n)|≤εg(n)}
▶ |
Convention 0
(Notation for basic real sequence strict asymptotic upper bound growth class)
If g:N→[0,∞) is an D4686: Unsigned real sequence, we denote its D5809: Real sequence strict asymptotic upper bound growth class by o(g).
|