Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ib/paper-1/6h/solution

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 .
Here
which decreases with . Thus reject for , where

New to topics? Read the docs here!