The Internal Revenue Service reports that the mean federal income tax paid in a recent year was $8040 with a standard deviation of $5000. The IRS takes a random sample of 100 tax returns and computes the sample mean federal income tax paid. What the probability this sample mean of 100 tax returns is less than $7500