One of the conclusions of theorem 5.3.8 is that the prior distribution $\pi$ is least favourable. Why is the extra condition $\sup_{\theta \in \Theta_0}E_{\theta}(L(\theta,\phi_{\pi}))\leq \alpha$ needed? Doesn't the Neyman-Person Lemma guarantee it?
