高木さんに確認なんだけど、
a(p^n+…+1)/2bp^nをRとしたとき、y=bp^nであるものとして推論してる？