1: \begin{abstract}
2: We study a function $\mathcal{L}_{\Gamma}$ which quantifies the LEF
3: (local embeddability into finite groups) property
4: for a finitely generated group $\Gamma$.
5: We compute this \emph{LEF growth} function in some examples,
6: including certain wreath products.
7: We compare LEF growth with the analogous quantitative
8: version of residual finiteness,
9: and exhibit a family of finitely generated residually finite
10: groups which nevertheless admit many more
11: local embeddings into finite groups than they do finite quotients.
12: Along the way, we give a new proof that
13: B.H. Neumann's continuous family of $2$-generated groups
14: contains no finitely presented group,
15: a result originally due to Baumslag and Miller.
16: We compare $\mathcal{L}_{\Gamma}$ with quantitative versions of soficity
17: and other metric approximation properties of groups.
18: Finally, we show that there exists a ``universal'' function
19: which is an upper bound on the LEF growth of any group
20: on a given number of generators, and that
21: (for non-cyclic groups) any such function is non-computable.
22: \end{abstract}
23: