■増加列の長さの平均(その18)

 Lk=kΣe^j・(−1)^k-jj^k-j-1/(k−j)!,0≦j≦k

に対して,

  |Ln|→2

を証明する方法はないのだろうか?

===================================

 Lk=kΣe^j・(−1)^k-jj^k-j-1/(k−j)!,0≦j≦k

を超幾何関数としてみてみたい.

 kは0から始まるので,項比aj+1/ajは

−e(j+1)^k-j-2/j^k-j-1/(k−j+1)

 1/(j+1)がなく,これでは超幾何関数にならない.

===================================

 k−j=i,k≧i≧0,j=k−i

 Lk=kΣe^k-i・(−1)^i(k−i)^i-1/i!,k≧i≧0

項比は

−1/e・(k−i−1)^i/(k−i)^i-1/(i+1)

=1/e・(i−k+1)^i/(i−k)^i-1/(i+1)

 上部パラメータと下部パラメータ数が一定とならないので,NG.

===================================