Pvc pipe is manufactured with a mean diameter of 1.01 inch and a standard deviation of 0.003 inch. find the probability that a random sample of n = 9 sections of pipe will have a sample mean diameter greater than 1.009 inch and less than 1.012 inch