Entropy of a probability distribution