A fast food outlet claims that the mean waiting time in line is less than 4 minutes. Alan is suspicious of this claim. He took a random sample of 25 customers and noted that the mean wait time is 4.2 minutes with a population standard deviation of 0.5 minute. If = 0.05, use the four-step P-value approach and test whether the mean wait time is less than 4 minutes. Assume that the mean waiting times follow normal distribution.