Eric Neyman comments on My thesis (Algorithmic Bayesian Epistemology) explained in more depth

[Eric Neyman]

Indeed! This is Theorem 9.4.2.