单侧 z 检验的检验功效

考虑在已知 $\sigma=10$、样本量 $n=25$、显著性水平 $\alpha=0.05$ 下检验 $H_0:\mu=0$ 对 $H_1:\mu>0$。若真实均值为 $\mu=4$，该检验的 power 是多少？