>>400
>y≧0 なら収束することも証明されている。
>>378がその反例になってるのでは?

x_n = a^n-1 (0<a<1), y_n = 1/nとおけば
十分大きなnに対して|x_n|<1,かつ0<y_nであって
Σ[k=0,∞]C(y_n,k)x_n^k = (1+x_n)^y_n = a
lim[n→∞]Σ[k=0,∞]C(y_n,k)x_n^k = a