- Research
- Open Access
- Published:

# \(L_{p}\)-convergence, complete convergence, and weak laws of large numbers for asymptotically negatively associated random vectors with values in \(\mathbb{R}^{d}\)

*Journal of Inequalities and Applications*
**volume 2018**, Article number: 107 (2018)

## Abstract

In this paper, based on the Rosenthal-type inequality for asymptotically negatively associated random vectors with values in \(\mathbb{R}^{d}\), we establish results on \(L_{p}\)-convergence and complete convergence of the maximums of partial sums are established. We also obtain weak laws of large numbers for coordinatewise asymptotically negatively associated random vectors with values in \(\mathbb{R}^{d}\).

## Introduction

Ko et al. [1] introduced the concept of negative association (NA) for \(\mathbb{R}^{d}\)-valued random vectors.

### Definition 1.1

(Ko et al. [1])

A finite sequence \(\{X_{1},\ldots ,X_{m}\}\) of \(\mathbb{R}^{d}\)-valued random vectors is said to be negatively associated (NA) if for any disjoint nonempty subsets \(A, B\subset \{1,\ldots ,m\}\) and any nondecreasing functions *f* on \(\mathbb{R}^{\vert A \vert d}\) and *g* on \(\mathbb{R}^{\vert B \vert d}\),

whenever the covariance exists. Let \(\vert A \vert \) denote the cardinality of a set *A*. An infinite sequence \(\{X_{i}, i\geq 1\}\) of \(\mathbb{R}^{d}\)-valued random vectors is negatively associated if every finite subsequence is negatively associated.

In the case of \(d=1\), the concept of negative association had already been introduced by Joag-Dev and Proschan [2]. A number of well-known multivariate distributions possess the NA property, such as the multinomial distribution, multivariate hypergeometric distribution, negatively correlated normal distribution, and joint distribution of ranks.

In addition to Definition 1.1, for random vectors in \(\mathbb{R}^{d}\), we can define asymptotically negative association (ANA).

### Definition 1.2

A sequence \(\{X_{1},\ldots ,X_{m}\}\) of \(\mathbb{R}^{d}\)-valued random vectors is said to be asymptotically negatively associated (ANA) if

where \(\operatorname{dist}(S,T)=\min \{\vert x-y \vert ; x\in S, y\in T\}\),

and *f* on \(\mathbb{R}^{\vert S \vert d}\) and *g* on \(\mathbb{R}^{\vert T \vert d}\) are any real coordinatewise nondecreasing functions.

In the case of \(d=1\), the concept of asymptotically negative association was proposed by Zhang [3, 4] and studied by Yuan and Wu [5].

It is obvious that a sequence of asymptotically negatively associated random variables is negatively associated if and only if \(\rho^{-}(1)=0\). Compared to negative association, asymptotically negative association defines a strictly larger class of random variables (for detailed examples, see Zhang [3, 4]). Consequently, the study of the limit theorems for asymptotically negatively associated random variables is of much interest.

We refer to Zhang [4] for the central limit theorem, Wang and Lu [6] for some inequalities of maximums of partial sums and weak convergence, Wang and Zhang [7] for the Berry–Esseen theorem and the law of the iterated logarithm, Yuan and Wu [5] for the \(L_{p}\)-convergence and complete convergence of the maximums of the partial sums, among others.

The concept of coordinatewise negative association (CNA) for random vectors with values in \(\mathbb{R}^{d}\) was introduced as follows. Let \(\langle \cdot ,\cdot \rangle \) denote the inner product, and let \(\{e_{j}, j\geq 1\}\) be an orthonormal basis. A sequence \(\{X_{n}, n \geq 1\}\) of \(\mathbb{R}^{d}\)-valued random vectors is said to be coordinatewise negatively associated (CNA) if for each *j*
\((1\leq j \leq d)\), the sequence \(\{X_{n}^{(j)}, n\geq 1, 1\leq j\leq d\}\) of random variables is NA, where \(X_{n}^{(j)}=\langle X_{n}, e_{j}\rangle \).

As in the definition of CNA, we can define coordinatewise asymptotically negative association for random vectors with values in \(\mathbb{R} ^{d}\).

### Definition 1.3

A sequence \(\{X_{n}, n\geq 1\}\) of \(\mathbb{R}^{d}\)-valued random vectors is said to be coordinatewise asymptotically negatively associated (CANA) if for each *j*
\((1\leq j\leq d)\), the sequence \(\{X_{n}^{(j)}, n\geq 1, 1\leq j \leq d\}\) of random variables is asymptotically negatively associated, where \(X_{n}^{(j)} =\langle X_{n}, e_{j}\rangle \) for \(n\geq 1\) and \(1\leq j\leq d\).

It is clear that if a sequence of \(\mathbb{R}^{d}\)-valued random vectors is ANA, then it is CANA. However, in general, the converse is not true.

Let \(\{X, X_{n}, n\geq 1\}\) be a sequence of \(\mathbb{R}^{d}\)-valued random vectors. We consider the following inequalities for \(1\leq j \leq d\):

If there exists a positive constant \(C_{1}\), \((C_{2})\) such that the left-hand (right-hand) side of (1.3) is satisfied for all \(1\leq j \leq d\), \(n\geq 1\), and \(t\geq 0\), then the sequence \(\{X_{n}, n \geq 1\}\) is said to be coordinatewise weakly lower (upper) bounded by *X*. The sequence \(\{X_{n}, n\geq 1\}\) is said to be coordinatewise weakly bounded by *X* if it is both coordinatewise lower and upper bounded by *X* (see Huan et al. [8]).

In Sect. 2, we give some lemmas, which will be used to prove the main results, and in Sect. 3, we prove the \(L_{p}\)-convergence and complete convergence results for the maximums of the partial sums of the sequence of ANA random vectors with values in \(\mathbb{R}^{d}\). In addition, in Sect. 4, we establish a weak law of large numbers for CANA random vectors with values in \(\mathbb{R}^{d}\).

Throughout the paper, the symbol *C* denotes a generic constant \((0< C<\infty )\), which is not necessarily the same in each occurrence, \(S_{n}=\sum_{i=1}^{n} X_{i}\) for a sequence \(\{X_{n}, n\geq 1\}\) of random vectors, and \(\Vert \cdot \Vert _{p}\) denotes the \(L_{p}\)-norm. Moreover, ≪ represents the Vinogradov symbol *O*, and \(I(\cdot )\) is the indicator function.

## Some lemmas

From the definition of a sequence of ANA random vectors, we have the following:

### Lemma 2.1

(Yuan and Wu [5])

*Nondecreasing* (*or nonincreasing*) *functions defined on disjoint subsets of a sequence*
\(\{X_{n}, n\geq 1\}\)
*of ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*is also ANA with mixing coefficients not greater than*
\(\rho^{-}(s)\).

Wang and Lu [6] proved the following Rosenthal-type inequality for a sequence of ANA random variables in \(\mathbb{R}^{1}\).

### Lemma 2.2

*For a positive integer*
\(N\geq 1\), *positive real numbers*
\(p\geq 2\), *and*
\(0\leq r <(\frac{1}{6p})^{p/2}\), *if*
\(\{X_{i}, i \geq 1\}\)
*is a sequence of ANA random variables with*
\(\rho^{-}(N) \leq r\), \(EX_{i}=0\), *and*
\(E\vert X_{i} \vert ^{p}<\infty \)
*for every*
\(i\geq 1\), *then there is a positive constant*
\(D=D(p,N,r)\)
*such that*, *for all*
\(n\geq 1\),

Inspired by the proof of Lemma 2.3 in Li-Xin Zhang [9], we extend Lemma 2.2 to \(\mathbb{R}^{d}\)-valued ANA random vectors as follows.

### Lemma 2.3

*For a positive integer*
\(N\geq 1\), *positive real numbers*
\(p\geq 2\), *and*
\(0\leq r<(\frac{1}{6p})^{p/2}\), *if*
\(\{X_{i}, i \geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with*
\(\rho^{-}(N)\leq r\), \(EX_{i}=0\), *and*
\(E\Vert X_{i} \Vert ^{p}<\infty \)
*for every*
\(i\geq 1\), *then there is a positive constant*
\(D^{\prime}=D^{\prime}(p, N, r)\)
*such that*, *for all*
\(n\geq 1\),

### Proof

Note that

and by Lemma 2.2

Hence (2.2) follows. □

From Lemma 1.2 of Kuczmaszewska [10] we obtain the following lemma.

### Lemma 2.4

*Let*
\(\{X_{n}, n\geq 1\}\)
*be a sequence of*
\(\mathbb{R}^{d}\)-*valued random vectors weakly upper bounded by a random vector*
*X*, *and let*
\(r>0\). *Then*, *for some constant*
\(C>0\), \(E\Vert X \Vert ^{r}< \infty \)
*implies*
\(n^{-1}\sum_{k=1}^{n} E\Vert X_{k} \Vert ^{r}\leq CE\Vert X \Vert ^{r}\).

The following lemma supplies us with the analytical part in the proofs of the theorems in the subsequent sections.

### Lemma 2.5

(Yuan and Wu [5])

*Let*
\(\{a_{n}, n\geq 1\}\)
*and*
\(\{b_{n}, n\geq 1\}\)
*be sequences of nonnegative numbers*. *If*

*then*

*for every*
\(n\geq 1\).

Next, we will extend some \(L_{p}\)-convergence and complete convergence results for the maximums of the partial sum of \(\mathbb{R}^{1}\)-valued ANA random variables in Yuan and Wu [5] to \(\mathbb{R}^{d}\)-valued random vectors.

## \(L_{p}\)-convergence and complete convergence for ANA random vectors with values in \(\mathbb{R}^{d}\)

The following theorem is an extension of Theorem 3.2 in Yuan and Wu [5] to random vectors with values in \(\mathbb{R}^{d}\).

### Theorem 3.1

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)<(\frac{1}{6p})^{p/2}\). *If*
\(\{X_{n}, n\geq 1\}\)
*are*
\(\mathbb{R}^{d}\)-*valued random vectors satisfying*

*then*, *for any*
\(\delta >\frac{1}{2}\),

### Proof

By Lemma 2.3, the Hölder inequality, and (3.1) we obtain

which by Lemma 2.5 yields (3.2) for any \(\delta >\frac{1}{2}\). □

As applications of Theorem 3.1, we introduce two results that are not present in Yuan and Wu [5].

### Theorem 3.2

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)<(\frac{1}{6p})^{p/2}\). *If*
\(\{X_{n}, n\geq 1\}\)
*is weakly upper bounded by a random vector*
*X*
*with*
\(E\Vert X \Vert ^{p}<\infty \), *then*, *for any*
\(\delta >\frac{1}{2}\), (3.2) *holds*.

### Proof

By Lemma 2.3, Lemma 2.4(i), Hölder’s inequality, and the proof of Theorem 3.1 we obtain

□

### Corollary 3.3

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)<(\frac{1}{6p})^{p/2}\). *If*
\(\{X_{n}, n\geq 1\}\)
*are identically distributed random vectors with*
\(E\Vert X_{1} \Vert ^{p}<\infty \), *then*, *for any*
\(\delta >\frac{1}{2}\), (3.2) *holds*.

A sequence of random vectors \(\{X_{n}, n\geq 1\}\) is said to converge completely to a constant *a* if for any \(\epsilon >0\),

In this case, we write \(X_{n} \rightarrow a\) completely. This notion was given by Hsu and Robbins [11]. Note that the complete convergence implies the almost sure convergence in view of the Borel–Cantelli lemma.

The following theorem provides an extension of Theorem 4.2 of Yuan and Wu [5] for ANA random variables in \(\mathbb{R}^{1}\) to random vectors in \(\mathbb{R}^{d}\).

### Theorem 3.4

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)<(\frac{1}{6p})^{p/2}\). *If*
\(\{X_{n}, n\geq 1\}\)
*satisfies* (3.1), *then*, *for any*
\(\delta > \frac{1}{2}\),

### Proof

By Lemma 2.3, Lemma 2.5, Hölder’s inequality, and the proof of Theorem 3.1 we obtain

Hence (3.4) holds. □

### Remark

Note that the proof of Theorem 3.4 is a little different from that of Theorem 4.2 in Yuan and Wu [5].

As applications of Theorem 3.4, we introduce two results that are not present in Yuan and Wu [5].

### Theorem 3.5

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)<(\frac{1}{6p})^{p/2}\). *If*
\(\{X_{n}, n\geq 1\}\)
*is weakly upper bounded by a random vector*
*X*
*with*
\(E\Vert X \Vert ^{p}<\infty \), *then*, *for any*
\(\delta >\frac{1}{2}\), (3.4) *holds*.

### Proof

As in the proof of Theorem 3.4, we obtain

□

### Corollary 3.6

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)<(\frac{1}{6p})^{p/2}\). *If*
\(\{X_{n}, n\geq 1\}\)
*are identically distributed random vectors with*
\(E\Vert X_{1} \Vert ^{p}<\infty \), *then*, *for any*
\(\delta >\frac{1}{2}\), (3.4) *holds*.

## Weak law of large numbers for ANA random vectors with values in \(\mathbb{R}^{d}\)

In this section, we establish the weak laws of large numbers for \(\mathbb{R}^{d}\)-valued ANA random vectors when \(p\geq 2\).

We assume that \(\{X_{n}, n\geq 1\}\) is a sequence of ANA random vectors with values in \(\mathbb{R}^{d}\). For \(n, i \geq 1\) and \(1\leq j\leq d\), we set

### Theorem 4.1

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)\leq r\)
*and*
\(0\leq r<(\frac{1}{6p})^{p/2}\). *If*

*and*

*then we obtain the weak law of large numbers*

### Proof

By the standard method we obtain

Thus

Next, we will show that

It is well known that, for all \(n\geq 1\), \(\{Y_{ni}-EY_{ni}, i\geq 1 \}\) is a sequence of \(\mathbb{R}^{d}\)-valued ANA random vectors by Lemma 2.1. Then, by the Markov inequality, Hölder’s inequality, and Lemma 2.3 we have

which yields (4.6). Combining (4.5) and (4.6), the WLLN (4.3) follows. The proof is complete. □

### Theorem 4.2

*Let*
\(p\geq 2\)
*be positive real numbers*, *and let*
\(N\geq 1\)
*be a positive integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued CANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)\leq r\)
*and*
\(0\leq r < (\frac{1}{6p})^{\frac{p}{2}}\). *If*
\(\{X_{n}, n\geq 1\}\)
*is coordinatewise weakly upper bounded by a random vector*
*X*
*with*

*then the WLLN* (4.3) *holds*.

### Proof

We first show that (4.5) holds. By (1.3) and (4.4) we obtain

which yields (4.5). It remains to show that (4.6) holds.

Since for all \(n\geq 1\), \(\{Y_{ni}-EY_{ni}, i\geq 1\}\) is a sequence of \(\mathbb{R}^{d}\)-valued ANA random vectors, by Lemma 2.1, Lemma 2.3, and (1.3) we have

which yields (4.6). Combining (4.5) and (4.6), we obtain the WLLN (4.3). Hence the proof is complete. □

### Remark

Suppose that \(\{X_{n}, n\geq 1\}\) is a sequence of \(\mathbb{R}^{d}\)-valued CNA random vectors. If \(\{X_{n}, n\geq 1\}\) is coordinatewise weakly upper bounded by a random vector *X* with \(\lim_{n\rightarrow \infty }\sum_{j=1}^{d} nP(\vert X^{(j)} \vert >n)=0\), then the WLLN (4.3) holds.

### Corollary 4.3

*Let*
\(N\geq 1\)
*be a positive integer*, *and let*
\(p\geq 2\). *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficient*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)\leq r\)
*and*
\(0\leq r<( \frac{1}{6p})^{\frac{p}{2}}\). *If*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of identically distributed random vectors with*

*then* (4.3) *holds*.

### Theorem 4.4

*Let*
\(p\geq 2\), *and let*
\(N\geq 1\)
*be an integer*. *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of mean zero*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficients*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)< r\)
*and*
\(0\leq r < (\frac{1}{6p})^{ \frac{p}{2}}\). *If*
\(\{X_{n}, n\geq 1\}\)
*is coordinatewise weakly upper bounded by a random vector*
*X*
*with*

*then*

### Proof

It follows from (4.10) that

which yields

It remains to prove (4.3).

Since (4.12) implies (4.8), (4.3) follows from Theorem 4.2. Thus the proof is complete. □

### Remark

Suppose that \(\{X_{n}, n\geq 1\}\) is a zero-mean sequence of \(\mathbb{R}^{d}\)-valued NA random vectors. If \(\{X_{n}, n \geq 1\}\) is coordinatewise weakly upper bounded by a random vector *X* with \(\sum_{j=1}^{d} E\vert X^{(j)} \vert <\infty \), then (4.11) holds.

### Corollary 4.5

*Let*
\(N\geq 1\)
*be an integer*, *and let*
\(p\geq 2\). *Suppose that*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of*
\(\mathbb{R}^{d}\)-*valued ANA random vectors with mixing coefficient*
\(\rho^{-}(s)\)
*such that*
\(\rho^{-}(N)\leq r\)
*and*
\(0\leq r<( \frac{1}{6p})^{\frac{p}{2}}\). *If*
\(\{X_{n}, n\geq 1\}\)
*is a sequence of identically distributed random vectors with*
\(EX_{1}=0\)
*and*

*then we obtain the WLLN* (4.11).

### Proof

The proof follows by substituting \(X^{(j)}\) by \(X_{1}^{(j)}\) in the proof of Theorem 4.4. □

## Conclusions

We generalized the \(L_{p}\)-convergence and complete convergence results of Yuan and Wu [5] from \(\mathbb{R}^{1}\)-valued ANA random variables to \(\mathbb{R}^{d}\)-valued random vectors by using a Rosenthal-type inequality. We also established weak laws of large numbers for CANA random vectors under \(p\geq 2\). As applications, we obtained some \(L_{p}\)-convergence and complete convergence results that are not present in Yuan and Wu [5] even when \(d=1\).

## References

Ko, M.H., Kim, T.S., Han, K.H.: A note on the almost sure convergence for dependent random variables in a Hilbert space. J. Theor. Probab.

**22**, 506–513 (2009)Joag-Dev, K., Proschan, F.: Negative association of random variables with applications. Ann. Stat.

**11**, 286–295 (1983)Zhang, L.X.: A functional central limit theorem for asymptotically negatively dependent random fields. Acta Math. Hung.

**86**, 237–259 (2000)Zhang, L.X.: Central limit theorems for asymptotically negatively dependent random fields. Acta Math. Sin. Engl. Ser.

**16**, 691–710 (2000)Yuan, D.M., Wu, X.S.: Limiting behavior of the maximum of the partial sum for asymptotically negatively associated random variables under residual Cesàro alpha-integrability assumption. J. Stat. Plan. Inference

**140**, 2395–2402 (2010)Wang, J.F., Lu, F.B.: Inequalities of maximum of partial sums and weak convergence for a class of weak dependent random variables. Acta Math. Sin. Engl. Ser.

**22**, 693–700 (2006)Wang, J.F., Zhang, L.X.: A Berry–Esseen theorem and a law of iterated logarithm for asymptotically negatively associated sequences. Acta Math. Sin. Engl. Ser.

**23**, 127–136 (2007)Huan, N.V., Quang, N.V., Thuan, N.T.: Baum–Katz type theorems for coordinatewise negatively associated random vectors in Hilbert spaces. Acta Math. Hung.

**144**, 132–149 (2014)Zhang, L.X.: Strassen’s law of the iterated logarithm for negatively associated random vectors. Stoch. Process. Appl.

**95**, 311–328 (2001)Kuczmaszewska, A.: On complete convergence in Marcinkiewicz–Zygmund type SLLN for negatively associated random variables. Acta Math. Hung.

**128**(1), 116–130 (2010)Hsu, P.L., Robbins, H.: Complete convergence and the law of large numbers. Proc. Natl. Acad. Sci. USA

**33**, 25–31 (1947)

## Acknowledgements

This paper was supported by Wonkwang University in 2018.

## Author information

### Authors and Affiliations

### Contributions

All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The author declares that there is no conflict of interests regarding the publication of this article.

## Additional information

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Ko, MH. \(L_{p}\)-convergence, complete convergence, and weak laws of large numbers for asymptotically negatively associated random vectors with values in \(\mathbb{R}^{d}\).
*J Inequal Appl* **2018, **107 (2018). https://doi.org/10.1186/s13660-018-1699-6

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13660-018-1699-6

### MSC

- 60F15

### Keywords

- Asymptotically negative association
- Random vectors
- Rosenthal-type inequality
- \(L_{p}\)-convergence
- Complete convergence
- Weak laws of large numbers