Probability with finite sample space