population of us / (1/(1-erf(5.3333/sqrt2)) * 2)