The distribution of the heights of five-year-old children has a mean of 42.5 inches. A pediatrician believes the five-year-old children in a city are taller on average. The pediatrician selects a random sample of 40 five-year-old children and measures their heights. The mean height of the sample is 44.1 inches with a standard deviation of 3.5 inches. Do the data provide convincing evidence at the level that the mean height of five-year-old children in this city is greater than 42.5 inches?