Is an integral over an infinite dimensional space defined somewhere? For example, does it make sense to think about
$$\lim_{n \to \infty} \int_{\mathbb{R}^n}f_n(\mathbf{x})\,d\mathbf{x}, \quad \mathbf{x} \in \mathbb{R}^n, \quad f_n:\mathbb{R}^n \to \mathbb{R}$$
or is there something similar to this idea?