>>120
言葉足らず&言葉の使い方を間違えましたが、
(1+3+3^2+…+3^n3)(1+5+5^2+…+5^n5)…=2・3^n[3]・5^n[5]・…
より、右辺が素因数2をひとつ持つから、左辺も素因数2ををひとつ持つ。
そこで、素因数2をひとつ持つ約数の和1+p+p^2+…+p^npとすると、
(p^n[p]-1)/2(p-1)=3^m[3]・5^m[5]・…
が成り立つ。

したがって、N=(p^(n[p]+1)-1)/2(p-1)・3^(n[3]-m[3])・5^(n[5]-m[5])・…となるが、
Nは自然数であり、また3^(n[3]-m[3])・5^(n[5]-m[5])・…も素因数2を持たない。
したがって、奇数の完全数は存在しない。

というのを考えてみたのですが、どこがおかしいですか？