[latex]f(n)\leq g(1)+g(2)+\dots+g(n)[/latex],

gdje je [latex]f(n)[/latex] zbroj svih pozitivnih djelitelja od [latex]n[/latex], a [latex]g(n)[/latex] broj pozitivnih djelitelja od [latex]n[/latex].