違うな

a(1+p+p^2+..+p^n)=2bp^n でなければならないから、少なくともaとbの比はpに依存している
このことは論文にも明示されていることであり、それを忘れてaとbをpに依存しないとすることはできない。