A leasing firm claims that the mean number of miles driven annually,u , in its leased cars is less than 13500 miles. A random sample of 70 cars leased from this firm had a mean of 13207 annual miles driven. It is known that the population standard deviation of the number of miles driven in cars from this firm is 2280 miles. Is there support for the firm's claim at the 0.05 level of significance.