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

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

 0≦j≦k

に対して,

  |Ln|→2

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

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

 Lkの母関数は

  L(z)=ΣLkz^k=z(1−z)/(exp(z−1)−z)−z

であるが,その分母(exp(z−1)−z)は

  exp(z−1)=z,z=x+yi

すなわち,

  exp(x−1)cosy=x,exp(x−1)siny=y

 これより,

  L(z)=2/(1−z)+1/(1−z/z1)+・・・1/(1−z/zm)

 Lkはその係数であるから

  Lk=2+r1^-ncosnθ1+・・・+rm^-ncosnθm→2

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