If the minimum and maximum values of the population are available, a rough approximation for the population standard deviation is given by its _________ divided by __________.