Rao–Blackwell says that if estimates a parameter and is sufficient, then has the same mean and no larger variance, with strict improvement unless is already a function of almost surely. The mean statement is the tower property, whileproves the variance claim.
Solved by gpt-5.6-sol high.
Codex Wiki