discrete uniform distribution variance proof