>>45
読みにくくなってしまったので再掲します
以下は"There are no quasiperfect numbers"の話です

>それは⑥が成立するときに、最後の式が必ず成立するための条件⑥⊇最後の式です

そうではなくて、不等式
4^(r－1) / (a/b)^(r－1) ≦ 1
がどのように導かれるのかを教えてください
私には、 A > Bx かつ A > B から x ≦ 1 を結論付けているように見えます
それは当然不可能です（例えば、 A = 10, B = 2 のとき、 x = 2 でも x = 3 でも可）