A leasing firm claims that the mean number of miles driven annually,u, in its leased cars is less than 13,040 miles. A random sample of 50 cars leased from this firm had a mean of 12,371 annual miles...

A leasing firm claims that the mean number of miles driven annually,u, in its leased cars is less than 13,040 miles. A random sample of 50 cars leased from this firm had a mean of 12,371 annual miles driven. It is known that the population standard deviation of the number of miles driven in cars from this firm is 2900 miles. Is there support for the firm's claim at the 0.1 level of significance? Perform a one-tailed test.