>>687
すみません言い直します
定義域が b≧9 となる理由です
完全数の場合 2b-a>0 ですから b>a/2 が必要でしょうが
ここの範囲に b=9 が入らなければその値を代入してえられた f の値は議論に使えないのでは?