Notation for algebraic functions $f_\alpha$ just so not in $O(n^{-\alpha})$

22 Views Asked by At

I have a family of positive functions $f_\alpha$, parametrized by $\alpha>0$, for which I can prove that for all $n>0$ and all $0\leq\eta <1$

$$f_\alpha(n) \leq n^{-\eta\,\alpha}$$

This is just so not enough to conclude that for all $\alpha>0$

$$ f_\alpha(n) \in O(n^{-\alpha}) \quad (n \to \infty), $$

but it is very close.

Is there a compact standard notation for situations like these, i.e., for when a function is just so not bounded by some algebraic function, but by any other algebraic function that decays just an arbitrarily little slower?

1

There are 1 best solutions below

0
On

I've seen the notation $n^{-\alpha+o(1)}$ used for similar notions in the past; note that this engulfs the outer constant term and so there's generally no need to use e.g. $O(n^{-\alpha+o(1)})$.