>>25
根拠は
ak=a/(pk^qk+…+1)
bk=b/pk^qk
としてak/bkの値の範囲を二つの不等式ではさみ、bの最大値を計算していることです。

n=2の場合でも成立すると思います。