mean and variance of hypergeometric distribution proof