discrete uniform distribution mean and variance proof