free group of finite rank can contain free groups of infinite rank as a subgroup how a free group of rank greater than or equal to 3 contains every free group of countable ranks as a sugroup?
 A: Even better, no normal subgroup of infinite index of a group of cohomological dimension at most two is  finitely presented (for free groups, it must be free, so countable rank).
EDIT Bieri's theorem does state:
If $G$ is a group of cohomological dimension of at most two, while $N$ is a normal subgroup of G of infinite index, then either $N$ is free, or $N$ is not finitely presentable. Sigh. I was thinking of $G$ a free or a surface group, in which case my statement is correct (it is a theorem of Jaco (easy mod a not so easy theorem of Whitehead) that a subgroup of a surface group is free if and only if it is of infinite index...
A: There is a very nice theorem which states:
Thm: If $F$ is a free group on $n$ generators and $H$ is a normal subgroup of index $j$ then if both $n$ and $j$ are finite $H$ is a free group on $j(n-1)+1$ generators. If $n$ is infinite and $j$ is finite then $H$ is a free group on infinitely many generators. Finally, if $j$ is infinite, then $H$ may be finitely or infinitely generated; however, if $H$ contains a normal subgroup $N$ of $F$, $N\neq 1$, then $H$ is a free group on infinitely many generators.
This is theorem 2.10 in Magnus, Karrass and Solitar "Combinatorial Group Theory" (and has a name...Schreier's formula?)
Once you have this theorem you can prove, for example, that the commutator subgroup is a free group on infinitely many generators (it contains a normal subgroup and is itself characteristic so you can apply the last line of the theorem). But doing it the way Benjamin Steinberg did it is much neater. I just thought it would be useful to mention this formula!
A: Actually a free group of rank 2 contains a free group of countable rank as a subgroup, namely the commutator subgroup.  The easiest way to see this is to view the free group as the fundamental group of a wedge of 2 circles.  The covering space associated to the commutator subgroup is the Cayley graph of ZxZ, or if you like, the grid formed by the integer lattice in R^2.  Clearly the fundamental group of this covering space is free of countable rank since there are countably infinitely many edges off a spanning tree.  You can take the x-axis and all vertical lines as the spanning tree.
A: In case an explicit description of such a subgroup would help, let $F_2 = \langle a,b|\rangle$ be the free group on 2 generators. Then the subgroup generated by the elements $\{a^nb^n\}_{n\in\mathbb{N}}$ is free since it is a subgroup of a free group. Next, it is easy to check that the generator $a^kb^k$ is not an element of the free group generated by the $a^\ell b^\ell$ for $\ell\neq k$ so one concludes that this subgroup has infinite rank.
