>>979
(a,b,p,n)が式(A)を満たす　⇔　Y=p^n・b が完全数である
ではないの？
（必要十分条件・・・というか完全数の定義そのものじゃないの？）

n=0のとき、R=a/2b=1 なんだよね。
そのときのbは奇数の完全数ではないの？

そもそも一点のみも証明できていないけど。
>>884　→全ての範囲を走査できていない
なぜなら　→>>938