 Følner condition implies amenability

Normalized counting measures on a Følner sequence have a convergent subnet in the compact product $[0,1{]}^{\mathcal{P}(G)}$. The limit is a left-invariant finitely additive probability measure, so every group satisfying the Følner condition is an amenable group.