does Informativeness of the prior always decreases similarity of the posterior mean to the data mean? [closed]

I am looking for a proof of the statement "If the variance of the prior distribution is greater, the posterior is more affected by the data".

More specifically, if X, X' are priors such that E(X)=E(X') and Var(X)>Var(X'), and S is data such that E(X|S)=Z and E(X'|S)=Z', then |E(Z) - E(S)| =< |E(Z') - E(S)|, where E(S) is the mean of the data, and E(X|S) is the mean of X given the data.

I know how to prove this for a few specific cases (like normal with known variance, where the mean is unknown but the prior on it is also normal).

Is there a reference to a more general proof?

My current application involves a three sided die with possibly unequal probabilities (Dirichlet), but I might like to extend it to other, possibly continuous, cases.

This statement is found, among other places, in the highly rated answer by COOLSerdash (under the heading Rules of Thumb) to the question: Help me understand Bayesian prior and posterior distributions

closed as unclear what you're asking by Xi'an, Michael Chernick, mdewey, Sycorax, stochazesthaiMar 7 at 11:32

Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

• While not a duplicate, there are common points with this question. – Xi'an Feb 14 at 15:45
• What is the meaning of $E(S)$ and how does it relate with $E[X|S]$? – Xi'an Feb 14 at 15:47
• By E[S], do you mean the empirical average of the data S? Am I right in assuming that your parameter of interest is the mean (or position) of the distribution of S? – Robin Ryder Feb 14 at 21:48
• E[S] is the mean of the observed data. E[X|S] is the conditional mean of X given the observed S. – Niki Kotsenko Feb 15 at 21:07
• I'm struggling to see why anything like this should hold in such generality. As an extreme case, suppose prior "$X^\prime$" puts all probability of the mean on $0$ and $S=0$ is observed. Your claim implies that no matter what the prior "$X$" might be, the posterior expectation must be zero. That's obviously untrue. – whuber Feb 16 at 21:55