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 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 more than $8700?

Round your answer to four decimal places.