We consider the problem of estimating the mean of an infinite-dimensional normal distribution from the Bayesian perspective. Under the assumption that the unknown true mean satisfies a "smoothness ...