To estimate the mean market value for single-family homes in a particular county in 2020, a county tax assessor uses the mean sale price for all single-family homes that sold during 2019. Such a sample is typically treated by tax assessors as if it were a random sample from the population of properties within the county. Suppose the mean sale price of homes in the entire county was $85,000 and the standard deviation was $20,000. What is the probability that the sample mean sale price in a sample of n = 100 homes would be less than $95,000?