En notación de O-grande, Dirichlet mostró que el orden promedio de la función divisor satisface la siguiente desigualdad: