## 6.6 Limit theorems of probability

The main goal of this section is to give a constructive proof of Theorem 6.1, which says that event (6.1) holds strictly almost surely. The simple proof given here is inspired by [412] (proof of Theorem 3.1).

We say that a non-negative supermartingale *forces* an event if for every not in . We are required to construct a supermartingale forcing (6.1), where we can set , as we mentioned in Section 6.2. This is not difficult given Theorem 6.2.

Get *Introduction to Imprecise Probabilities* now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.