It turns out that $\mathcal{F}_\infty$ is never trivial, since it is (at least when the distribution of $X_s$ has a sub-sigma-algebrasecond moment). This can be seen by calculating the covariance of the exchangeable sigma-algebraaverage $Y_s$ at generation $n$ with $Y_r$, and comparing it to the variance of this average.