1.5.1 problem 49

Let be the event that is never rolled for . The event of interested then is

By inclusion-exclusion,

Now,

Thus,