probability of at least one 4 on 4d4