p.2のbの定義の直後に式変形しただけの段階で
a(1+p+p^2+...+p^n)/(2p^n)=b
ってなってるから、aもbもめちゃくちゃpに依存してるやん
言っても無理やと思うけど