自然数mがm=(p[1]^a[1])*(p[2]^a[2])*・・・*(p[n]^a[n])と素因数分解されたとする。
rをmの約数の総数、sをmの約数の逆数の総和とするとき、r/s≧nとなることを示せ。
また、等号が成り立つのはmが完全数であるときに限ることを示せ。