It's easy to see that Bnge2Bn−1Bnge2Bn−1 since we always have a choice of whether to add nn to the same part as n−1n−1 or not. Since the number of parts in a typical set partition of size n−1n−1 grows, the choices for adding nn to a new or existing part grow, so
limntoinftyBn−1/Bn=0.limntoinftyBn−1/Bn=0.
There are asymptotics in the Wikipedia article on the Bell numbers, but it may not be obvious how to work with the Lambert WW-function in that expression, or how to bound Bn−1/BnBn−1/Bn. A faster proof that the limit is 00 can be obtained from Dobrinski's formula, that BnBn is the nnth moment of a Poisson distribution with mean 11:
For any cinmathbbRcinmathbbR, the Poisson distribution has positive probability of being greater than cc. So, for large enough nn, the nnth moment BnBn is at least cncn. By Jensen's inequality, the moments satisfy
Bfracn+1nnleBn+1Bfracn+1nnleBn+1
clesqrt[n]BnlefracBn+1Bnclesqrt[n]BnlefracBn+1Bn
No comments:
Post a Comment