>>563
2b-a>0は書いていないんですけど
a=cp^n、2b=c(p^n+…+1)
となっているので、2b-a>0です。