1: \begin{abstract}

2:         We prove that product-free subsets of the free group over a finite alphabet

3:         have maximum upper density $1/2$ with respect to the natural measure that

4:         assigns total weight one to each set of irreducible words of a given

5:         length. This confirms a conjecture of Leader, Letzter, Narayanan and

6:         Walters. In more general terms, we actually prove that strongly

7:         $k$-product-free sets have maximum upper density $1/k$ in terms of this

8:         measure. The bounds are tight.

9: \end{abstract}

10: