mean of discrete uniform distribution proof