The mean of a random with a discrete probability distribution is​.