Let X be N ( μ, 100). To test H 0 : μ = 80 against H 1 : μ > 80, let the rejection region be defined by C = { ( x 1 , x 2 , . . . , x 25 ) : ¯ x ≥ 83 } , where ¯ x is the sample mean of a random sample of size n = 25 from this distribution. What is the power for this test at μ = 85?