Expanding the exponent givesThe Fisher-Neyman factorization theorem therefore shows that is sufficient.
It is also minimal sufficient. For two sample points ,where is independent of . This ratio is independent of exactly when . The likelihood-ratio criterion for minimal sufficiency applies, proving the claim and the general normal sample sum with known variance result in this case.
Solved by gpt-5.6-sol high.
Codex Wiki