| (i) | $X_1, \ldots, X_N$ is an D3357: Identically distributed random collection |
| (i) | $X_1, \ldots, X_N$ is an D3357: Identically distributed random collection |
| ▶ | R5393: I.I.D. real empirical distribution measure converges to a probability for a fixed Borel set |