>>753
>>747の記号を使ってG(z)=Σ[i=0,∞]p(i)z^iとすると
G(z)=(z^y*(1-z))/((1-6z+5z^y)(1-6z)) となる。

p(x)を求めるためにはこの関数をz=0のまわりで
ベキ級数展開をしてx次の係数を求めればよいが、
>>744のような形で表すには
1-6z+5z^y=0
を解く必要があるから一般には不可能では?