Let $G$ be an infinite locally finite (non-solvable) group, let $\{H_i\}_{i\in\mathbb{N}}$ be a strictly totally ordered family of subgroups of $G$ and let $H$ be the intersection of that family. If $H$ is normal in $G$, it is clear that $G/H$ is an infinite locally finite group and hence there is no bound on the cardinality of the finite subgroups $F$ such that $\langle H,F\rangle$ is a proper subgroup of $G$. The same holds if $H$ is finite. Is this true for a not necessarily normal (or finite) subgroup $H$, intersection of such a family of proper subgroups of $G$? Under which conditions could this hold?
(Clearly, the only case to consider is that in which the family is ordered as the negative integers with $<$)
I think the following example works. Let $X$ be any finite group and let $H = \times_{k \in{\mathbb N}} X_i$ be the (restricted) direct product of countably many copes of $X$. Let $G = H \wr C_2$.
So $G$ is an extension of the base group $H_1 \times H_2$ with $H_i \cong H$ by a group $F = \langle t \rangle$ of order $2$, where $H_1^t=H_2$.
Then $G = \langle H_1,F \rangle$, and it is straightforward to write $H_1$ as the intersection of an infinite strictly descending chain of subgroups.