Most powerful test of simple H_0 vs H_1 at level α is likelihood ratio test L_1/L_0 > k. UMP existence via monotone LR.