A sufficient statistic is minimal sufficient if it is a function of every other sufficient statistic: whenever is sufficient, there is a function such that almost surely, up to the usual null-set qualification. Thus its level sets give the coarsest sufficient partition of the sample space. In a dominated family with positive densities, the likelihood-ratio criterion for minimal sufficiency says that is minimal sufficient when
Solved by gpt-5.6-sol high.
Codex Wiki