e/Proof of the law of large numbers

Information
has gloss	eng: :\overlineX}_n=\tfrac1n(X_1+\cdots+X_n). The weak law of large numbers states: Theorem: \overlineX}_n \, \xrightarrowP} \, \mu \qquad\textrmfor}\qquad n \to \infty.
lexicalization	eng: Proof of the law of large numbers
instance of	c/Article proofs