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