Summary The result “average posterior precision equals or exceeds prior precision plus average observation precision” is proved for any distributions of a single variable. The “average” used is in effect a harmonic mean.
No takes yet. Share an insight, caveat, or question.
H. M. Finucan (1971) studied this question.