1: \begin{definition}

2: Consider the random walk on $X$ given by a probability measure $\mu$ on $G$. Let $f\colon X\to\R$ be a real-valued $m_X$-integrable function on $X$. We say 

3: \begin{itemize}

4: \item that the \emph{Strong Law of Large Numbers (SLLN)} holds for $f$ if for every $x\in X$

5: \begin{align*}

6: \lim_{n\to\infty}\tfrac{1}{n}\Sigma_n(f)=\int_Xf\dd m_X\quad\Pr_x\text{-a.s.,}

7: \end{align*}

8: \item the \emph{Central Limit Theorem (CLT)} holds for $f$ if there exists a constant $\gamma_f\in[0,\infty)$ such that for the centered function $\overline{f}=f-\int_Xf\dd m_X$ and under each $\Pr_x$ we have convergence in distribution

9: \begin{align*}

10: \tfrac{1}{\sqrt{n}}\Sigma_n(\overline{f})\overset{\mathrm{d}}{\longrightarrow}N(0,\gamma_f^2),

11: \end{align*}

12: where $N(0,\gamma_f^2)$ denotes the normal distribution with mean 0 and variance $\gamma_f^2$ (to be understood as the Dirac distribution at $0$ in the degenerate case $\gamma_f=0$), and

13: %\begin{align*}

14: %\lim_{n\to\infty}\Pr_x\sqbr*{\tfrac{1}{\sqrt{n}}\Sigma_n(\overline{f})\le t}=\frac{1}{\sqrt{2\pi\gamma_f^2}}\int_{-\infty}^t\euler^{-x^2/(2\gamma_f^2)}\dd x,

15: %\end{align*}

16: \item that the \emph{Law of the Iterated Logarithm (LIL)} holds for $f$ if for this constant $\gamma_f$ and every $x\in X$

17: \begin{align*}

18: \limsup_{n\to\infty}\tfrac{1}{\sqrt{2n\log\log(n)}}\Sigma_n(\overline{f})=\gamma_f\quad\Pr_x\text{-a.s.}

19: \end{align*}

20: \end{itemize}

21: \end{definition}

22: