A company claims that the premiums paid by its clients for auto insurance has a normal distribution with mean μ = 750 dollars and standard deviation σ = 100 dollars. Assuming normality, what is the probability that for n = 9 randomly sampled clients, the sample mean will a value between 700 and 800 dollars?