1: \begin{displaymath} \label{eq:discretisation_convergence}

2: %\iota^n \bar{f}^n(x)\longrightarrow f(x)\hbox{   for Lebesgue almost all $x\in S^\infty$ and in  }L^2(S^\infty).   

3: %\end{displaymath}

4: