A lemma, introduced in 1933 by Neyman and Egon Pearson, that gives a sufficient condition, in a hypothesis test with null hypothesis θ=θ0 and alternative hypothesis θ=θ1, for choosing a critical region, with given significance level, that maximizes the power of the test.