The joint mass factorizes through , so is sufficient for . If , thenConditionally on , . Rao–Blackwell therefore gives the unbiased estimatorFor the original estimator is not a function of , so the variance reduction is strict.
Solved by gpt-5.6-sol high.
Codex Wiki