正の整数nに対して、その正の約数の相加平均をf(n)とするとき
 √n ≦ f(n) ≦ (n+1)/2