使用Neyman-Pearson引理证明单侧z检验（如果 \bar X > c 则拒绝）是水平 alpha 最有力的检验，对于 H_0: mu = \mu_0 对比 含已知 的正态数据。