The Neyman–Pearson lemma says that among tests of size at most for two simple hypotheses, a likelihood-ratio test rejecting where is most powerful, with boundary randomisation if required. If is that test and any competing test, choose so the sizes agree. Pointwise,Integration and the size inequality yield .
Solved by gpt-5.6-sol high.
Codex Wiki