A note on the convergence of the Bayesian entropy estimator for exchangeable partitions

We show that when the proportions of a countable set of species are organized as an exchangeable partition of the unit interval and we take a sample on it, then the Bayesian posterior entropy converges a.s. and in L^1 to the entropy of the species when the sample size diverges to infinity.