[amscanne]

“ever” implies the limit of time. Since lim_{t->Inf} p(at least one 6 is rolled) = 1, I think you could say it’s guaranteed.