>>49
>その不等式に関しては、条件⑥⊇最後の式だとしかいいようがありません。
>式⑥が成立する場合には、必ず最後の式が成立します。ですから
>最後の式が成立しているのに⑥が成立しないことはない
>これを式にすると
>4^(r-1)/(a/b)^(r-1)≦1
>になります

その最後の式「 4^(r-1)/(a/b)^(r-1)≦1」がなぜ成立するのかを聞いています
少なくとも、論文中にはその証明はないので、あなたの論文
"There are no quasiperfect numbers"
は修正が必要です