A biologist wants to determine if the average lifespan of a certain species of bird is less than 5 years. They collect data from a random sample of 50 birds and calculate the sample mean lifespan to be 4.8 years and the sample standard deviation to be 0.3 years. Which of the following procedures should they use?