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