「最終的にR = 1になる」の時点で、
yに相当するのは「p_x^n b B_1 B_2 ... B_x」と思われます。
ここでpの役目をしているのはp_xではないのですか?