Exact results for an O(n) model in two dimensions

As a step toward proving the generally held belief that the two-dimensional O(n) model exhibits no phase transition for n>or=3, the authors consider a special O(n) model on the honeycomb lattice and establish a rigorous lower bound on n such that the free energy of the O(n) model is analytic for all n above this bound.