Neyman–Pearson rejects for large and is most powerful at its size. For the normal sample, monotone likelihood ratio makes the UMP test reject when ; its rejection probability increases in , so it also has size for the composite null . A likelihood-ratio test against a mixture null that has size under each component bounds every competing test’s mixture power and is therefore UMP for the original two-point null. In the drug problem, the symmetric interval test has equal size at and no larger size farther out; it is the NP test against the equal mixture of those boundary laws, hence is UMP.
Solved by gpt-5.6-sol high.
Codex Wiki