Probability of obtaining at least one 5 in rolling a die