20% is definitely higher than average, and higher than any company I've worked at. And you're assuming a completely random distribution, which is not the case in my experience, for whatever reason.