Because of manufacturing variability, the diameters of ball bearings coming off a certain assembly line are normally distributed with standard deviation millimeters. Under normal conditions, the ball bearings have a mean diameter of 20 millimeters, but a quality control engineer suspects that the machinery has a problem that causes diameters to be systematically too large. To test this suspicion, he collects a random sample of n = 36 ball bearings, and finds that their average diameter is = 20.7 millimeters. Is this statistically significant evidence that the true mean diameter is greater than 20 millimeters? Set up the hypothesis, and enter your P-value below, rounded to four decimal places.