0
$\begingroup$

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?

$\endgroup$
1
$\begingroup$

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)})$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.