Normal order of an arithmetic function

In mathematics, in the field of number theory, the normal order of an arithmetic function is some simpler or better-understood function which "usually" takes the same or closely approximate values.

Let f be a function on the natural numbers. We say that the normal order of f is g if for every &epsilon &gt; 0, the inequalities


 * $$ (1-\epsilon) g(n) \le f(n) \le (1+\epsilon) g(n) \, $$

hold for almost all n: that is, if the proportion of n &le; x for which this does not hold tends to 0 as x tends to infinity.

It is conventional to assume that the approximating function g is continuous and monotone.

Examples

 * The Hardy–Ramanujan theorem: the normal order of &omega;(n), the number of distinct prime factors of n, is log(log(n));
 * The normal order of log(d(n)), where d(n) is the number of divisors of n, is log(2) log log(n).