Let $X_i$, $i=1,2\ldots$ be finite sets of integers such that $X_i\rightarrow \infty$. Let $X$ be an ultraproduct of $X_i$. Let $\mu$ the Loeb measure associated with the the normalized counting measures on $X_i$. Let $B$ be the completion w.r.t $\mu$ of the algebra of internal sets. How to prove $(X,B,\mu)$ is not separable? Thank you for your help.

The background is, I suspect, the recent papers of Elek and Szegedy, in which the nonseparability of this space place a large (and confounding) role. I strongly prefer the language of nonstandard analysis, so I'll phrase this answer in those terms. The last paragraph has some comments about how to "downgrade" to the ultraproduct lingo. Let $N$ be an unlimited integer, $[N]=\{0,1,2,\dots,N\}$ the hyperfinite initial segment of the natural numbers, and for internal sets $A\subseteq[N]$ set $\mu(A) = st(A/N)$, the standard part of the relative density of $A$. The Loeb counting measure is the completion of $\mu$. Now, let $E_1, E_2,\dots$ be a countable collection of measurable sets, and without loss of generality we can assume that the $E_i$ are internal (in a Loeb measure, each measurable $E$ has an internal $I$ with $\mu(E \bigtriangleup I)=0)$, and that they form a $\pi$system (are closed under finite intersections). Here's an outline for the rest of the argument:
The first bullet can be accomplished by counting, but is more naturally seen as a probability statement: let $Z$ contain $k\in[N]$ with probability $1/2$, and suppose that each $k$ is independent of each other. The Central Limit Theorem now says that $\mu(Z)=1/2$ with probability 1, and applies similarly to the independenceof$E_i$ claim. The second bullet should be in any measure theory book that discusses probability. The third bullet should be more widely known that it is; I learned of the $\pi$system approach to proving things about $\sigma$algebras from Williams' gemofabook "Probability with Martingales". The last two are undergrad points. If you are uncomfortable with language of nonstandard analysis, it is a powerful paradigm for the situation when you are looking at a single nonprincipal ultraproduct. The conversion is this: an unlimited $N$ corresponds to a sequence that goes to infinity, an internal set is the ultraproduct of sets, and functions can be understood as the pointwise application of the function to each term of a sequence. 

