Stable commutator length of elements in free groups.

In the above paper by Danny Calegari he says that the result $\text{scl}(g) \geq 1/2$ (i.e. a stable commutator length $\text{scl}(g) := \displaystyle{\lim_n}\ cl(g^n) / n$, where $\text{cl}(g)$ is the smallest $k$ such that $g$ is a product of $k$ commutators) follows (apart from the Howie-Duncan result) from the paper by Comerford-Edmunds.

"Products of commutators and products of squares in a free group" by Leo P. Comerford , Jr. , Charles C. Edmunds, 1994.

Although I am familiar with that paper, I do not immediately see how that result follows from the description of solutions of quadratic equations described in Comerford&Edmunds.

Here is a reference to the paper:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.9038

Could anyone clarify the link between the two results?

thanks!

-
I think it would be helpful if you would define notation which is not standard, like ${\rm scl}(g)$. Also I think adding a little more details would be in order. – Stefan Kohl Apr 1 '13 at 19:04
@Stefan: you're right. $scl(g)=\lim cl(g^n)/n$ where $cl(g)$ is the smallest $k$ such that $g$ is a product of $k$ commutators. The quantification "for all nontrivial $g$ in the derived subgroup of a free group" is probably the other missing part. Anyway, even if I'm correct, the post should be edited accordingly. – YCor Apr 1 '13 at 21:48
I think that $\text{scl}(g)$ (for "stable commutator length of $g$) is pretty standard at this point. – Andy Putman Apr 1 '13 at 22:08
Andy: I think it depends on the subfield of the group theory. It is standard for people in geometric group theory, but not otherwise. – Misha Apr 1 '13 at 22:34
ok. I've made some changes to the question. thanks. – Alexey Kvashchuk Apr 2 '13 at 0:49